A Taste of Prolog
summary
A concise Prolog primer that demonstrates concrete results: uses facts and rules to model editor and keyboard matches and produces actual pairings via backtracking and unification in the REPL, implements list predicates (member, length) that both query and generate lists, builds working half and full adder circuits from truth-table facts and prints truth tables, and solves a five-person apartment logic puzzle by generating permutations to produce a single valid floor arrangement.
AI-written summary · about
chapters (18)
- 0:00Start
- 0:09Basics
- 0:21What Is Prolog
- 0:56Uses
- 1:22Why Learn Prolog
- 2:17Prolog - Weirdness
- 3:43Facts
- 10:24Questions & Rules
- 13:05Two Rules
- 14:50Examples
- 15:14Heads and Tails
- 16:06Don't Care
- 19:59Length
- 26:31Apartment Building
- 27:18'Data Structure
- 29:45not_adjacent
- 31:29Puzzle
- 32:30Books
related talks
40mProduction Prolog
01h 34mFormal Logic Undressed
22mCan Logic Programming Be Liberated from Predicates and Backtracking? (Lightning talk)
47mLogic Programming à la Carte
34mcore.logic.intro
41mLiving inside a Theorem Proving Universe
31mDesign Datalog Templates for Synthesizing Bidirectional Programs from Tabular E...
26mA Rule-Based Approach for Designing and Composing Abstract Domains