Logic programming has developed into a broad discipline within computing science. Besides its bas...

The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work cov...