3 ms·Logic programming: what are the main differences between Prolog and miniKanren?3 points by p4bl0 10y ago