Productive Prolog programming
Schnupp, Peter.
Bernhard, Lawrence W.
London Prentice-Hall International
c1987
Bibliography: p217-220. - Includes index
Prolog (Computer program language)