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

Yves Deville

ISBN 10: 0201175762 / ISBN 13: 9780201175769

Published by Addison Wesley, 1990

About this Item

A tight, bright, and clean copy with no annotations/notes, no bumps to spine/cover, and no foxing to pages. Small name to inside, but otherwise fantastic condition book. 338pp. (16x24cm). Please contact us for any more information. Seller Inventory # 7443

Bibliographic Details

Title: Logic Programming: Systematic Programme ...

Publisher: Addison Wesley

Publication Date: 1990

Binding: Hardcover

Condition: Fine

Edition: 1st Edition

About this title

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