Επαγωγικός λογικός προγραμματισμός : μια διδακτική προσέγγιση - Καραμουτζογιάννη, Ζωή (2012)