Επαγωγικός λογικός προγραμματισμός και Progol - Παπαϊωάννου, Αλκαίος (2010)