1 - Introduction to Prolog
All humans are mortal. Socrates is human. Therefore Socrates is mortal.
Logic Programming
Logic programming is a (declarative) programming paradigm that is based on formal logic and mathematical reasoning. The core of this paradigm is to represent knowledge and to solve problems using a set of rules.
What is Prolog?
Prolog (Programming in Logic) is a logic programming language that has its roots in in first-order logic. A prolog program contains #facts and #rules and can answer #queries.
Brief history of Prolog
The language was developed and implemented in Marseille, France, in 1972 by Alain Colmerauer with Philippe Roussel, based on Robert Kowalski's procedural interpretation of Horn clauses at University of Edinburgh 1