Book review: The Implementation of Prolog By Patrice Boizumault Translated from the original French by Ara M. Djamboulian and Jamal Fattouh (Princeton University Press, 1993)
Nancy Lynn Tinkham · ACM SIGART Bulletin · 1995
As a programming language, Prolog was designed to reflect conceptual problem-solving methods rather than the architecture of any particular computer; it encourages the programmer to solve problems by describing facts and relationships, instead of trying to fit the problem into a set of memory locations and machine operations on a computer. Prolog is thus, by design, a step farther from the machine than most conventional imperative programming languages.