Σημασιολογία Λογικών Προγραμμάτων

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

Στο κεφάλαιο αυτό παρουσιάζονται οι τρεις απόψεις για τη σημασιολογική μελέτη των λογικών προγραμμάτων. Θα<br/>αναλυθούν η μοντελοθεωρητική σημασιολογία, η σημασιολογία σταθερού σημείου και η λειτουργική σημασιολογία των οριστικών προγραμμάτων. Όπως θα αποδειχθεί, οι τρεις αυτές απόψεις καταλήγουν σε ισοδύναμα συμπεράσματα.