Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

Η γλώσσα Προγραμματισμού PROLOG

Παρόμοιες παρουσιάσεις


Παρουσίαση με θέμα: "Η γλώσσα Προγραμματισμού PROLOG"— Μεταγράφημα παρουσίασης:

1 Η γλώσσα Προγραμματισμού PROLOG
ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ 5ο Εξάμηνο Ενότητα 4 - Η γλώσσα Προγραμματισμού PROLOG Δημοσθένης Σταμάτης Τμήμα Πληροφορικής T.E.I. ΘΕΣΣΑΛΟΝΙΚΗΣ

2 Ένα Πρόγραμμα σε PROLOG
Φ1: father(uranus, kronos). Φ2: father(kronos, demeter). Φ3: father(kronos, zeus). Φ4: father(zeus, athena). Φ5: father(zeus, artemis). Φ6: father(zeus, apollo). Φ7: mother(gaia, kronos). Φ8: mother(demeter, persephone). Φ9: mother(rhea, zeus). Φ10: parent(Χ,Υ) :- father(Χ,Υ). Φ11: parent(Χ,Υ) :- mother(Χ,Υ). Φ12: grandfather(Χ,Υ) :- father(Χ,Ζ), parent(Ζ,Υ). Φ13: ?- father(uranus, kronos). Φ14: ?- father(Χ, demeter). Φ15: ?- grandfather(Χ, Υ).

3 yes Φ1: father(uranus, kronos). Φ2: father(kronos, demeter).
Φ3: father(kronos, zeus). Φ4: father(zeus, athena). Φ5: father(zeus, artemis). Φ6: father(zeus, apollo). Φ7: mother(gaia, kronos). Φ8: mother(demeter, persephone). Φ9: mother(rhea, zeus). Φ10: parent(Χ,Υ) :- father(Χ,Υ). Φ11: parent(Χ,Υ) :- mother(Χ,Υ). Φ12: grandfather(Χ,Υ) :- father(Χ,Ζ), parent(Ζ,Υ). Φ13: ?- father(uranus, kronos). yes

4 uranus Φ1: father(uranus, kronos). Φ2: father(kronos, demeter).
Φ3: father(kronos, zeus). Φ4: father(zeus, athena). Φ5: father(zeus, artemis). Φ6: father(zeus, apollo). Φ7: mother(gaia, kronos). Φ8: mother(demeter, persephone). Φ9: mother(rhea, zeus). Φ10: parent(Χ,Υ) :- father(Χ,Υ). Φ11: parent(Χ,Υ) :- mother(Χ,Υ). Φ12: grandfather(Χ,Υ) :- father(Χ,Ζ), parent(Ζ,Υ). Φ13: ?- father(X, kronos). uranus

5 X = demeter ; X = zeus ; Φ1: father(uranus, kronos).
Φ2: father(kronos, demeter). Φ3: father(kronos, zeus). Φ4: father(zeus, athena). Φ5: father(zeus, artemis). Φ6: father(zeus, apollo). Φ7: mother(gaia, kronos). Φ8: mother(demeter, persephone). Φ9: mother(rhea, zeus). Φ10: parent(Χ,Υ) :- father(Χ,Υ). Φ11: parent(Χ,Υ) :- mother(Χ,Υ). Φ12: grandfather(Χ,Υ) :- father(Χ,Ζ), parent(Ζ,Υ). Φ13: ?- father(kronos, X). X = demeter ; X = zeus ;

6 X = uranus , Y = kronos; X = kronos , Y = demeter; … k.o.k.
Φ1: father(uranus, kronos). Φ2: father(kronos, demeter). Φ3: father(kronos, zeus). Φ4: father(zeus, athena). Φ5: father(zeus, artemis). Φ6: father(zeus, apollo). Φ7: mother(gaia, kronos). Φ8: mother(demeter, persephone). Φ9: mother(rhea, zeus). Φ10: parent(Χ,Υ) :- father(Χ,Υ). Φ11: parent(Χ,Υ) :- mother(Χ,Υ). Φ12: grand father(Χ,Υ) :- father(Χ,Ζ), parent(Ζ,Υ). Φ13: ?- father(X, Y). X = uranus , Y = kronos; X = kronos , Y = demeter; … k.o.k.

7 Πρόγραμμα για τη Συμβολική Παραγώγιση
derivative(X, X, 1). derivative(C, X, 0) :- C =\=X. derivative(sin(X), X, cos(X)). derivative(cos(X), X, -sin(X)). derivative(U+V, X, A+B) :- derivative(U, X, A), derivative(V, X, B). derivative(U*V, X, A*V+B*U) :- ?- derivative(x*x +2, x, P). P = x*1 + 1*x + 0

8 ΣΥΝΤΑΚΤΙΚΟ της PROLOG (1/2)
father(uranus, kronos). derivative(X, X, 1). Γεγονότα (Facts) grandfather(Χ,Υ) :- father(Χ,Ζ), parent(Ζ,Υ). derivative(U+V, X, A+B) :- derivative(U, X, A), derivative(V, X, B). Κανόνες (Rules) ?- father(X, Y). ?- derivative(2*x*x, x, A). Ερωτήσεις (Queries)

9 ΣΥΝΤΑΚΤΙΚΟ της PROLOG (2/2)
Εάν (If) Λογικό ΚΑΙ (AND) Κανόνες (Rules): grandfather(Χ,Υ) :- father(Χ,Ζ), parent(Ζ,Υ). derivative(U+V, X, A+B) :- derivative(U, X, A), derivative(V, X, B). Προϋποθέσεις Συμπέρασμα


Κατέβασμα ppt "Η γλώσσα Προγραμματισμού PROLOG"

Παρόμοιες παρουσιάσεις


Διαφημίσεις Google