Module
Logic Programming Paradigm
Sign in to add this module to your path and practice.
About
Horn clauses, unification, resolution/backtracking, Prolog-style programming, and declarative vs procedural reading.
Goal
Write and trace simple Prolog programs; explain unification and search; contrast with FP and OO.
Unlocks
Tutor
Ask questions about this module.
Hi — I'm your tutor for Logic Programming Paradigm. Ask about the concepts, goal, or where you're stuck.