Εισαγωγή στον Λογικό Προγραμματισμό

Περιεχόμενα

• 1. Λογική
• 2. Προτασιακή Λογική (Propositional Logic)
• 3. Λογική Πρώτης Τάξης
• 3.1 Σημασιολογία
• 3.2 Ερμηνείες και Μοντέλα
• 3.3 Κανονικές Μορφές
• 3.4 Το Θεώρημα του Herbrand
• 4. Ανάλυση
• 4.1 Δυνατότητα Υπολογισμού (Computability)
• 4.2 Αποδεικτικές Διαδικασίες
• 4.3 Αντικατάσταση
• 4.4 Ενοποίηση
• 4.5 Η Αρχή της Ανάλυσης
• 4.6 SLD -Ανάλυση
• 4.7 SLD -Δέντρα
• 4.8 SLDNF -Ανάλυση
• 5. Λογικός Προγραμματισμός
• 5.1 Σύνταξη
• 5.2 Ανάγνωση Λογικών Προγραμμάτων
• 5.3 Σημασία λογικών προγραμμάτων
• 5.4 Δομές Δεδομένων
• 5.5 Το υπολογιστικό μοντέλο του λογικού προγραμματισμού
• 5.6 Και λίγη ...ιστορία

Mon Apr 5 16:25:43 EEST 1999