Prolog Versus You

Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. program synthesis, program correctness and program transformation as well as an efficient computation of Prolog programs.