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

• Κύριος συγγραφέας: Δημητρόπουλος, Κωνσταντίνος
• Άλλοι συγγραφείς: Ράγγος, Όμηρος
• Μορφή: Thesis
• Γλώσσα: Greek
• Έκδοση: 2018
• Θέματα: Επαγωγικός λογικός προγραμματισμός; Μαθηματική λογική; Λογικά προγράμματα; Αναδρομικές διαδικασίες; Inductive logic programming; Progol; Prolog; Mathematical logic; Logic programs; Recursive procedures; 005.115

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