This part of the book is a brief description of logic programming; this was considered necessary, in order to smoothly introduce the reader to the notation and terms that will be used in the presentation of parallel and constraint logic programming. However, we should stress that what is presented here is just a small introduction, that could not possibly cover in depth the vast field of logic programming. In order to obtain a complete view of the field, the interested reader should refer to other books, some of which appear in the selected bibliography section of this chapter; this introduction has mainly been based on them.
KeywordsLogic Program Search Tree Logic Programming Propositional Logic Conjunctive Normal Form
Unable to display preview. Download preview PDF.