Introduction to Prolog

PROgramming in LOGic

• Declarative and logical programming language
• Built-in inference mechanism based on resolution