Advertisement

Logic Programming

  • Ioannis Vlahavas
  • Panagiotis Tsarchopoulos
  • Ilias Sakellariou
Chapter
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 875)

Abstract

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.

Keywords

Logic Program Search Tree Logic Programming Propositional Logic Conjunctive Normal Form 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1998

Authors and Affiliations

  • Ioannis Vlahavas
    • 1
  • Panagiotis Tsarchopoulos
    • 2
  • Ilias Sakellariou
    • 1
  1. 1.Aristotle University of ThessalonikiGreece
  2. 2.European CommissionBelgium

Personalised recommendations