Constructing Logic Programs (Paperback)Jean-Marie Jacquet (author)
Paperback 275 Pages / Published: 30/07/1993
- Not available
The construction of logic programs is an important and relatively new area of research. As there is yet no real methodology for the task of writing a program using logic, this book will be a welcome contribution to the debate. The use of logic in the construction of programs is one approach to developing greater program efficiency. This text addresses the problems one might encounter in the complicated process of writing a logic program, and is directed at the professional software developer and logic programming student who is interested in making practical use of ideas presented. To this end, examples are included to illustrate the theories in application. Tutorial chapters introducing the subject make the book more accessible to the beginning logic programmer, and exercises provide a helpful teaching tool For the researcher, this text will have the attraction of being a single source of material on the main points of interest in the construction of logic programs, from program synthesis to program derivation to the semantic analysis of logic programs.
Publisher: John Wiley and Sons Ltd
Number of pages: 275
Weight: 610 g
Dimensions: 244 x 165 x 19 mm
You may also be interested in...
Please sign in to write a review
Simply reserve online and pay at the counter when you collect. Available in shop from just two hours, subject to availability.
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
When will my order be ready to collect?
Following the initial email, you will be contacted by the shop to confirm that your item is available for collection.
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at