Logic Programming in 1 Slide
Language Prolog successful in AI
Based on (limited) reasoning in First Order Logic
- p(X) if q(X), r(X).
- q(a).
- q(b).
- r(b).
X is a variable, a, b constants
p(a) is false, but p(b) is true
Prolog automates the finding of solution p(b)