Problem solving with Prolog
Stobo, John.
London Pitman
1989
Includes index
Prolog (Computer program language)