This book gives an account oC the mathematical Coundations oC logic programming. I have attempted to make the book selC-contained by including prooCs of almost

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

The state of the art of the bioengineering aspects of the morphology of microorganisms and their relationship to process performance are described in this volum

The topic of logic programming and databases. has gained in creasing interest in recent years. Several events have marked the rapid evolution of this field: the