Τεχνικές λογικού προγραμματισμού : η γλώσσα Prolog - Πρώτη έκδοση. - Αθήνα: Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, 2015