Foundations of Logic Programming (Symbolic Computation / Artificial Intelligence)

by John W. Lloyd