A Whole New World Transition Programming, Logic, Logic Programming Compare and Contrast ACL2 v. LP Story and History of LP BTW, if you want to know more, please see: Kowalski Colmerauer & Roussel Cohen Colmerauer, the Marseilles group “Predicate Logic as a Programming Language” Kowalski 74 IFIP Skolemization miniKanren vs. Prolog miniKanren: it’s like Racket == run fresh conde recursion appendo Previous Next