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

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

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for infer

This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, securit

"Programming languages embody the pragmatics of designing software systems, and also the mathematical concepts which underlie them. Anyone who wants to know how