Logic Programming: Systematic Programme Development (International Series in Logic Programming) - Hardcover

Deville, Yves

 
9780201175769: Logic Programming: Systematic Programme Development (International Series in Logic Programming)

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 developing a pure first-order logic description, and

"synopsis" may belong to another edition of this title.