Τεχνικές λογικού προγραμματισμού [Η γλώσσα Prolog] (Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών (ΣΕΑΒ), 2015)