Prolog - Giannesini, F. (Francois). (Wokingham, Eng.: Addison-Wesley, 1986)
Bibliography: p.256-260
Includes index
Keywords: Prolog (Computer program language).