Prolog (International Computer Science Series) (English and French Edition) by Francis Giannesini | Menrva Books