TY - BOOK AU - Giannesini, Francis AU - Kanoui, Henry AU - Pasero, Robert TI - PROLOG T2 - International computer science series SN - 0201129116 U1 - 005.13393 21st ed. PY - 1987/// CY - England PB - Addison-Wesley Publishing KW - Prolog (Computer program language) N1 - Bibliography: p. 256-60 includes index ER -