Prolog implemented in 250 lines of readable Python code. Now tell me you don't love Python!

PTTP is an implementation of the model elimination theorem-proving procedure that extends Prolog to the full first-order predicate calculus.

Lambda Prolog is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming. It can capture higher-order abstract syntax and thus map object-level bindings to programming language bindings.

This tutorial is intended to be used to help learn the essential, basic concepts of Prolog. The sample programs have been especially chosen to help promote the use of Prolog programming in an artificial intelligence course.