TY - BOOK AU - Giannesini, Francis TI - PROLOG T2 - International computer science series SN - 0201129116 U1 - 005.133 PY - 1986/// CY - Wokingham PB - Addison Wesley ER -