Introduction to Prolog
A Declarative Language Based on Predicate Logic
Prolog is a language from the 1970s that has a lot to teach us about the way programming might be in the future. It’s included as a Coding Stone because I believe every developer needs a basic understanding of this declarative language.
In this course you'll learn the basics of programming in Prolog, both by coding along and by completing the exercises.
Facts and Predicates
Recursive Inference (and the House of Windsor)
Backtracking and Fences
The Inclusive Farmer and the River
SEND + MORE = MONEY
Some Thoughs On Prolog