Prolog : from specification to prototype /
Leadbetter, Peter A.
Thomas, Peter G.
Weedon, Raymond A.
Oxford : Blackwell Scientific,
1991.