Constructing Logic Programs
Jean-Marie Jacquet(Author)
Wiley (Publisher)
Published on 30. July 1993
Book
Paperback/Softback
275 pages
978-0-471-93789-0 (ISBN)
Description
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.
More details
Language
English
Place of publication
Chichester
United Kingdom
Publishing group
John Wiley and Sons Ltd
Target group
Professional and scholarly
Illustrations
Illustrations
Dimensions
Height: 244 mm
Width: 165 mm
Weight
610 gr
ISBN-13
978-0-471-93789-0 (9780471937890)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Program synthesis; program derivation; program verification; semantic anlaysis of programs.