Turns declarative rules into executable searches using Horn clauses, backward chaining, and fixed-point semantics. Learners write small Prolog and Datalog programs and diagnose termination, ordering, and negation issues.
