PrologTheoryTemplates

Toolkit-independent Prolog examples suitable for any plain-Prolog frontend.

Properties

Every template in this object, in the order a "New from template" menu should offer them.

Prolog parent/sibling/ancestor relations.

Hand-written append/reverse/length/member over lists.

Place N non-attacking queens on an N x N board via backtracking.

Natural numbers as z/s(N) terms, with addition and multiplication.