This collection of original research papers assesses and summarizes the impact of types on logic programming. Type theory is a well-established branch of theore

Written for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any background in logic or AI. Includes a full g

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for enc

Provides a systematic introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. The text in