Prolog a relational language and its applications
Malpas, John.
Prentice-Hall International
1987