Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computi

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory. Comput

Logic programming has increasing significance in computer science beyond the current fashion for expert systems. This book takes a software engineering rather t

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

Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has be