Publisher's Synopsis
A methodology for building efficient and reliable programs in PROLOG. After a review of the fundamental concepts of logic programming, Deville (Institute of Informatics, U. of Namur, Belgium) develops a three-stage methodology for logic program construction, starting with the specification, then dev