Problem Solving With | Prolog

A sophisticated form of pattern matching that tries to make two expressions identical by assigning values to variables.

In most languages, you tell the computer how to solve a problem (imperative). In Prolog, you describe what the problem is (declarative). Problem Solving with Prolog

Basic truths about your world (e.g., parent(bob, alice). means Bob is a parent of Alice). A sophisticated form of pattern matching that tries

Prolog is famous for solving complex logical puzzles with very little code: Problem Solving with Prolog