The art of Prolog advanced programming techniques
Sterling, Leon.
Shapiro, Ehud Y.
Cambridge, Mass. London MIT Press
c1986
Bibliography: p407-414. - Includes index
Prolog (Computer program language)