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

 
Το τεκμήριο παρέχεται από τον φορέα :

Αποθετήριο :
Αποθετήριο «Κάλλιπος»
δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο



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

Σταματόπουλος, Παναγιώτης (EL)
Stamatopoulos, Panagiotis (EN)

Ξιφαρά, Φωτεινή (EL)
Παπαβασιλείου, Σπυρίδων (EL)
Κάλλιπος (EL)
Ροντογιάννης, Παναγιώτης (EL)
Kallipos (EN)
Papavasileiou, Spyridon (EN)
Xifara, Foteini (EN)
Rontogiannis, Panagiotis (EN)

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

learningMaterial
bookChapter

ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ (EL)
ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ (EL)
ΣΥΝΑΡΤΗΣΕΙΣ (EL)
ΛΟΓΙΚΗ (EL)
ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ (EL)
Functional Programming (EN)
Programming Languages (EN)
Prolog (EN)
Haskell (EN)
Logic Programming (EN)
Functions (EN)
Logic (EN)

Σύνδεσμος Ελληνικών Ακαδημαϊκων Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)


Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)

2015



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.