Coding Stones:
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.
Course Curriculum
-
1
Introduction to Prolog
-
Welcome
-
-
2
Part 1: Prolog Basics
-
Facts and Predicates
-
Recursive Inference (and the House of Windsor)
-
Backtracking and Fences
-
-
3
Part2: Three Puzzles
-
Introduction
-
Word Squares
-
The Inclusive Farmer and the River
-
SEND + MORE = MONEY
-
-
4
Prolog: It is the Future?
-
Some Thoughs On Prolog
-
About the instructor
Dave Thomas
Dave Thomas is probably responsible for introducing Ruby to the western world with the book Programming Ruby back in 2000. Now in its 4th edition, it has sold hundreds of thousands of copies.More recently, he played a similar role in launching Elixir, both with the book Programming Elixir and with many talks at conferences around the world.Who better to introduce Ruby developers to the new and exciting world of functional programming in Elixir?