by Patrick Blackburn, Johan Bos, Kristina Striegnitz
Prolog is a programming language, but a rather unusual one. ``Prolog'' is short for ``Programming with Logic'', and the link with logic gives Prolog its special character. At the heart of Prolog lies a surprising idea: don't tell the computer what to do. Instead, describe situations of interest, and compute by asking questions. Prolog will logically deduce new facts about the situations and give its...
(more)