Prolog - Giannesini, F. (Fran cois) (International computer science series, 1986)