Prolog - Giannesini, Francis (Addison-Wesley, 1986)