Logic and PROLOG
Publisher: Prentice-Hall
Published: 1991-04-01
ISBN-13: 9780745010236