Problem Solving With Prolog < 1080p >

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

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). Problem Solving with Prolog

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 Prolog is famous for solving complex logical puzzles