Logic and its applications - Burke, Edmund; Foxley, Eric (London Prentice Hall, 1996)
Keywords: Logic programming; Logic, Symbolic and mathematical