Επαγωγικός λογικός προγραμματισμός και εφαρμογές - Λώλης, Γεώργιος Ε. ([χ.ό.], 2008)