Λογικός και Συναρτησιακός Προγραμματισμός [Σταματόπουλος,Kallipos]

[mklabgr]

Λογικός και Συναρτησιακός Προγραμματισμός
Συγγραφείς: Σταματόπουλος, Παναγιώτης

Το βιβλίο παρουσιάζει τις δύο βασικές μεθοδολογίες του δηλωτικού προγραμματισμού, οι οποίες αντιδιαστέλλονται με τον παραδοσιακό διαδικαστικό προγραμματισμό:

• Λογικός Προγραμματισμός: Εξετάζεται η φιλοσοφία του με βάση τη γλώσσα Prolog και τη λογική πρώτης τάξης. Αναλύονται θέματα υλοποίησης, παράλληλης επεξεργασίας, περιορισμών και η σημασιολογία των προγραμμάτων.
  
• Συναρτησιακός Προγραμματισμός: Παρουσιάζεται μέσω της γλώσσας Haskell. Καλύπτεται το θεωρητικό του υπόβαθρο (λάμδα λογισμός, συνδυαστές) καθώς και τεχνικές υλοποίησης (σειρές αναγωγής, αναγωγή γράφων).
  

Και οι δύο προσεγγίσεις συνδυάζουν την πρακτική εφαρμογή με την αυστηρή θεωρητική τεκμηρίωση.

SOURCE