Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

ΠΛΗ31 PROLOG ΜΑΘΗΜΑ 2

3,024 views

Published on

1) Αναπαράσταση ενός κόσμου
2) Απάντηση σε ερωτήσεις
3) Δένδρο Εκτέλεσης Ερωτήματος
4) Ενσωμάτωση Κανόνων
5) Ενσωμάτωση Αναδρομικών Κανόνων

Published in: Education
  • Be the first to comment

  • Be the first to like this

ΠΛΗ31 PROLOG ΜΑΘΗΜΑ 2

  1. 1. ΠΛΗ31 PROLOG Μάθηµα 2: Τρόπος Εκτέλεσης των Προγραµµάτων Prolog ∆ηµήτρης Ψούνης
  2. 2. ΠΕΡΙΕΧΟΜΕΝΑ Α. Σκοπός του Μαθήµατος Β.Θεωρία 1. Αναπαράσταση ενός κόσµου 2. Απάντηση σε ερωτήσεις 3. ∆ένδρο Εκτέλεσης Ερωτήµατος 4. Ενσωµάτωση Κανόνων 5. Ενσωµάτωση Αναδροµικών Κανόνων 2∆ηµήτρης Ψούνης, ΠΛΗ31, Prolog, Μάθηµα 2: Τρόπος Εκτέλεσης των Προγραµµάτων Prolog
  3. 3. Α. Σκοπός του Μαθήµατος Να δούµε πως ενσωµατώνουµε πληροφορία του πραγµατικού κόσµου στο πρόγραµµα Prolog Να µελετήσουµε πως η Prolog «τρέχει» ένα ερώτηµα εσωτερικά Θα το κάνουµε χτίζοντας σταδιακά τον κόσµο της οικογένειας του tom και απαντώντας σε ερωτήσεις 3∆ηµήτρης Ψούνης, ΠΛΗ31, Prolog, Μάθηµα 2: Τρόπος Εκτέλεσης των Προγραµµάτων Prolog
  4. 4. Β. Θεωρία 1. Αναπαράσταση του «κόσµου» 4∆ηµήτρης Ψούνης, ΠΛΗ31, Prolog, Μάθηµα 2: Τρόπος Εκτέλεσης των Προγραµµάτων Prolog Άσκηση 1: Κατασκευάστε πρόγραµµα για την κατασκευή του οικογενειακού δένδρου της οικογένειας του tom. Χρησιµοποιήστε τα κατηγορήµατα: parent/2, male/1 και female/1 για την αναπαράσταση των σχέσεων γονέα/παιδιού και του φύλου του ατόµου αντίστοιχα ως γεγονότα (facts).
  5. 5. Β. Θεωρία 2. Απάντηση σε ερωτήσεις 5∆ηµήτρης Ψούνης, ΠΛΗ31, Prolog, Μάθηµα 2: Τρόπος Εκτέλεσης των Προγραµµάτων Prolog Άσκηση 2: ∆ιατυπώστε τις ερωτήσεις: 1. «Ποιος είναι ο γονέας του bob?» 2. «Έχει ο tom γονέα?» 3. «Ποιος είναι ο κοινός γονέας των bob και john?» και δώστε και τις απαντήσεις που δίνει η Prolog.
  6. 6. Β. Θεωρία 3. ∆ένδρο εκτέλεσης ερωτήµατος 6∆ηµήτρης Ψούνης, ΠΛΗ31, Prolog, Μάθηµα 2: Τρόπος Εκτέλεσης των Προγραµµάτων Prolog Άσκηση 3: ∆ώστε το δένδρο της εκτέλεσης του ερωτήµατος: 1. parent(tom,X). 2. parent(tom,X), parent(X,Y). και δώστε και τις απαντήσεις που δίνει η Prolog.
  7. 7. Β. Θεωρία 4. Ενσωµάτωση κανόνων 7∆ηµήτρης Ψούνης, ΠΛΗ31, Prolog, Μάθηµα 2: Τρόπος Εκτέλεσης των Προγραµµάτων Prolog Άσκηση 4: 1. Να γραφούν οι κανόνες father(X, Y) (ο Χ είναι πατέρας του/της Υ) και mother(X, Y) (η X είναι µητέρα του/της Y). 2. Να γραφεί κανόνας που ελέγχει αν κάποιος Χ είναι πατέρας (is_father(X)). 3. Να γραφεί κανόνας που ελέγχει αν κάποια Χ είναι µητέρα (is_mother(X)).
  8. 8. Β. Θεωρία 4. Ενσωµάτωση κανόνων 8∆ηµήτρης Ψούνης, ΠΛΗ31, Prolog, Μάθηµα 2: Τρόπος Εκτέλεσης των Προγραµµάτων Prolog Άσκηση 5: ∆ώστε το δένδρο εκτέλεσης του ερωτήµατος: ?-is_father(X).
  9. 9. Β. Θεωρία 4. Ενσωµάτωση κανόνων 9∆ηµήτρης Ψούνης, ΠΛΗ31, Prolog, Μάθηµα 2: Τρόπος Εκτέλεσης των Προγραµµάτων Prolog Άσκηση 6: 1. Να γραφεί κανόνας son(X, Y) (ο Χ είναι γιος του/της Y). 2. Να γραφεί κανόνας daughter(X, Y) (η X είναι κόρη του/της Υ). 3. Να γραφεί κανόνας siblings(X, Y) (ο/η X έχει τουλάχιστον ένα κοινό γονιό µε τον/την Y)
  10. 10. Β. Θεωρία 5. Ενσωµάτωση αναδροµικών κανόνων 10∆ηµήτρης Ψούνης, ΠΛΗ31, Prolog, Μάθηµα 2: Τρόπος Εκτέλεσης των Προγραµµάτων Prolog Άσκηση 7: 1. Να γραφεί το κατηγόρηµα ancestor(X,Y) να αληθεύει αν το X είναι πρόγονος του Υ.
  11. 11. Β. Θεωρία 5. Ενσωµάτωση αναδροµικών κανόνων 11∆ηµήτρης Ψούνης, ΠΛΗ31, Prolog, Μάθηµα 2: Τρόπος Εκτέλεσης των Προγραµµάτων Prolog Άσκηση 8: 1. Να κατασκευαστεί το δένδρο εκτέλεσης του ερωτήµατος “?-ancestor(tom,pat).”

×