Text this: Επαγωγικός λογικός προγραμματισμός : μια διδακτική προσέγγιση