Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals
by
T. Van Le
Paperback
details (
USA
).
ISBN: 978-0-471-57175-9
ISBN-10: 0-471-57175-X
Wiley
· 1992