tobytripp/logic-programming-lecture

A short lecture on logic programming with minikanren, prolog, and some datalog.

logic-programming-lecture

A short lecture on logic programming with minikanren, prolog, and some datalog.

Source: https://github.com/tobytripp/logic-programming-lecture/blob/master/logic-programming.org#we-dont-know-how-to-compute