Solving With Prolog | Problem

Logical implications (e.g., grandparent(X, Z) :- parent(X, Y), parent(Y, Z). means X is a grandparent of Z if X is a parent of Y AND Y is a parent of Z).

Questions you ask the system (e.g., ?- grandparent(bob, Who). ). 2. How Prolog "Thinks" Prolog solves problems using two primary mechanisms: Problem Solving with Prolog

In most languages, you tell the computer how to solve a problem (imperative). In Prolog, you describe what the problem is (declarative). Logical implications (e

A sophisticated form of pattern matching that tries to make two expressions identical by assigning values to variables. In Prolog, you describe what the problem is (declarative)

Basic truths about your world (e.g., parent(bob, alice). means Bob is a parent of Alice).

If Prolog reaches a dead end while searching for an answer, it automatically "steps back" and tries a different path. This makes it incredibly powerful for solving puzzles where you have to explore many possibilities. 3. Classic Problem-Solving Examples