Text this: Επαγωγικός λογικός προγραμματισμός και Progol : προβλήματα εκμάθησης γραμματικής