Λογικός Προγραμματισμός με Περιορισμούς

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

Στο κεφάλαιο αυτό γίνεται εκτενής παρουσίαση μίας επέκτασης του λογικού προγραμματισμού, η οποία παρέχεται από τα περισσότερα συστήματα Prolog, της χρήσης περιορισμών στη διατύπωση προβλημάτων. Μέσω της επέκτασης αυτής, είναι δυνατόν να επιλύονται με περισσότερο αποδοτικό τρόπο, χωρίς βλάβη της δηλω...