Logic Programming

Logic Programming Systematic Program Development - International Series in Logic Programming

Book (15 Apr 1990)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

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

Book information

ISBN: 9780201175769
Publisher: Addison-Wesley
Imprint: Addison-Wesley
Pub date:
DEWEY: 005.133
DEWEY edition: 20
Number of pages: 338
Weight: 637g
Height: 240mm