• Lab
• The ladder rule
• Rules of Execution of Prolog programs
• Forcing Backtracking
• Different types of equality
• Membership
• Mamma's and Pappa's
• Golden Rules of recursion
• About this document ...

Back to the Prolog Page