TY - BOOK AU - Giannesini,F.(Francois). TI - Prolog SN - 0201129116 PY - 1986/// CY - Wokingham, Eng. PB - Addison-Wesley KW - Prolog (Computer program language) N1 - Bibliography: p.256-260; Includes index ER -