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

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

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