Name		Name	Last commit message	Last commit date
parent directory ..
01-basics.pl		01-basics.pl
02-math.pl		02-math.pl
03-lists.pl		03-lists.pl
04-hanoi.pl		04-hanoi.pl
05-sort.pl		05-sort.pl
06-backtrack.pl		06-backtrack.pl
README.md		README.md
cek.pl		cek.pl
cuts.pl		cuts.pl
examples.pl		examples.pl
hanoi-text.c		hanoi-text.c
hanoi.c		hanoi.c
jedi.pl		jedi.pl
p7.pl		p7.pl
sort.pl		sort.pl

README.md

Prolog examples and notes

Simple examples

01-basics.pl -- An introduction to syntax and examples
02-math.pl -- Mathematical builtins and is construct
03-lists.pl -- Manipulating lists
04-hanoi.pl -- Towers of Hanoi
05-sort.pl -- Sorting lists
06-backtrack.pl -- Illustrating backtracking

Using the cut

cuts.pl -- Explaining cuts
jedi.pl -- Cuts and jedis

Larger examples

cek.pl -- An implementation of the CEK machine in Prolog