Prolog: προγραμματισμός σε λογική για τεχνητή νοημοσύνη - Μαρακάκης, Μανόλης (Νέες Τεχνολογίες, 2014)