Επαγωγικός λογικός προγραμματισμός και αναδρομές

• Main Author: Δημητρόπουλος, Κωνσταντίνος
• Other Authors: Ράγγος, Όμηρος
• Format: Thesis
• Language: Greek
• Published: 2018
• Subjects: Επαγωγικός λογικός προγραμματισμός; Μαθηματική λογική; Λογικά προγράμματα; Αναδρομικές διαδικασίες; Inductive logic programming; Progol; Prolog; Mathematical logic; Logic programs; Recursive procedures; 005.115

Το αντικείμενο αυτής της εργασίας είναι η μελέτη και η παρουσίαση του Επαγωγικού Λογικού Προγραμματισμού καθώς και η εφαρμογή του στην εκμάθηση παραγωγής αναδρομικών διαδικασιών. Ως περιβάλλον ανάπτυξης αυτών των διαδικασιών χρησιμοποιείται η γλώσσα προγραμματισμού Progol, η οποία βασίζεται στην γλώ...