- The Power of Prolog -- Markus Triska
- http://webhotel4.ruc.dk/~henning/adb2003/PrologWorkshop.html
- https://wiki.visual-prolog.com/i ... _backtrack_-_part_1
- https://www.codeproject.com/Arti ... ntures-in-Artificia
- http://www.amzi.com/AdventureInProlog/a3simple.php
- Reading and Writing Mathematics: The MAVIS Project
- GNU prolog manual
parent(victoria,albert).
parent(X,Y):-father(X,Y).
parent(X,Y):-mother(X,Y).
father(john,henry).
mother(jane,henry).
son(X,Y):-father(Y,X).
go:-parent(john,B),
write('john has a child named '),
write(B),nl.
PREVIOUSPostscript