Prolog Syntax

Prolog Terms are one of:

• Constant
• Variable
• Compound Term

• Constants
• Variables
• Compound Terms
• (Compound) Terms as Trees
• Compound Terms and Unification
• The Occurs Check
• Lists Are Terms Too
• How To Glue Two Lists Together
• Rules as Terms
  • 1
  • 2
  • 3
• What You Should Be Able To Do