Επαγωγικός λογικός προγραμματισμός και αναδρομές - Δημητρόπουλος, Κωνσταντίνος (2018)