Text this: Επαγωγικός λογικός προγραμματισμός και εφαρμογές