Problem Solving With Prolog Guide

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

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

Prolog is famous for solving complex logical puzzles with very little code: In most languages, you tell the computer how