Λογικός Προγραμματισμός - Υπολογισμός με Λογική

• Κύριοι συγγραφείς: Stamatopoulos, Panagiotis, Σταματόπουλος, Παναγιώτης
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ; ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ; ΛΟΓΙΚΗ; ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ; ΣΥΝΑΡΤΗΣΕΙΣ; Logic Programming; Functional Programming; Logic; Programming Languages; Functions; Prolog; Haskell

Ο σκοπός του κεφαλαίου αυτού είναι να γίνει μία εισαγωγή στη φιλοσοφία του λογικού προγραμματισμού και να δείξει, αρκετά συνοπτικά, τι είναι οι προτάσεις Horn και πώς χρησιμοποιώντας την αρχή της επίλυσης ή, καλύτερα, μία ειδικότερη μορφή της που εφαρμόζεται στις προτάσεις Horn, τον κανόνα εξαγωγής συμπερασμάτων modus ponens, είναι δυνατόν να επιλύονται προβλήματα "υπολογίζοντας" μέσω της λογικής τις απαντήσεις σε ερωτήσεις που υποβάλλονται σε λογικά προγράμματα.