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