Deductive databases and their applications :
Colomb, Robert M.,1942-
London : Taylor & Francis,
c1998.
Index
Deductive databases.
Prolog (Computer program language)