Logic, Programming and Prolog (2ed)

by Ulf Nilsson and Jan Maluszynski

Previously published by John Wiley & Sons Ltd.