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

Slides:

Advertisements

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

已知三角函数值求角已知三角函数值求角.

Advertisements

Ελληνική Μυθολογία Αθήνα και Σπάρτη. It all started with Gaea/ Γαίας and Uranus/ Ουρανός Gaea – Mother Earth – Mother of Titans Uranus - Father Sky –

Εργαστήριο μαθήματος «Τεχνολογία Γνώσης» Σαντιπαντάκης Γιώργος

Prolog Tutorial Επεξεργασία και Αναπαράσταση Γνώσης Άνοιξη 2010

ΕΠΛ 434 – Λογικός Προγραμματισμός και Τεχνητή Νοημοσύνη

Οι 12 Θεοί του Ολύμπου Twelve Olympians

ELEMENTARY GREEK GREK 1001 M-Th 8:40-9:30 ***. C.W. Shelmerdine Introduction to Greek 2 nd edition (Newburyport, MA: Focus, 2008) Chapter 1.

Η Κωνσταντινούπολη στολίζεται…

DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web Αναπαράσταση και Επεξεργασία Γνώσης Άνοιξη 2009.

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

Υπουργείο Παιδείας, Έρευνας & Θρησκευμάτων Ειδική Υπηρεσία Διαχείρισης & Εφαρμογής δράσεων Έρευνας, Τεχνολογικής Ανάπτυξης και Καινοτομίας Υπουργείο Παιδείας,

1 Μαθησιακές Δυσκολίες: δυγλωσσία και πολυγλωσσικό περιβάλλον Ενότητα 3:Πρώιμη διάγνωση και χαρακτηριστικά των μαθησιακών δυσκολιών από την προσχολική.

1 Μηχανογραφημένη Λογιστική Ι Εκδιδόμενα Στοιχεία για Λιανική πώληση αγαθών ή υπηρεσιών Άρθρο 12 Χύτης Ευάγγελος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό.

1 Εμπορικό και Οικονομικό Δίκαιο Εταιρείες Παππά Βιβή Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.

Διοίκηση Ανθρωπίνων Πόρων Ενότητα 1: Εισαγωγή στη Διοίκηση Ανθρωπίνων Πόρων. Ασκήσεις Πράξεις Αναγνωστόπουλος Αχιλλέας Εργαστηριακό Διδακτικό Προσωπικό,

Τεχνολογία και ποιοτικός έλεγχος Σιτηρών & Αρτοσκευασμάτων Ενότητα 7: Λειτουργικά προϊόντα δημητριακών. Θεοφάνης Γεωργόπουλος, Kαθηγητής Εφαρμογών, Τμήμα.

1 Γεωργική Χημεία - Βασικές εργαστηριακές τεχνικές - διαλύματα, Τμήμα Τεχνολόγων γεωπόνων, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Γεωργική.

Είναι ο κλάδος της Χημείας που ασχολείται με δύο κύρια ερωτήματα που αφορούν τις χημικές αντιδράσεις. Το πρώτο είναι το πως γίνεται μια αντίδραση, δηλαδή.

Εισαγωγή στη Νοσηλευτική Επιστήμη Ενότητα 4: Εκτίμηση της κατάστασης του Ασθενή. Κοτρώτσιου Ευαγγελία, Καθηγητής, Τμήμα Νοσηλευτικής, T.E.I. Θεσσαλίας.

Τμήμα Τεχνολόγων Γεωπόνων Τίτλος Μαθήματος: ΚΑΛΛΩΠΙΣΤΙΚΑ ΔΕΝΤΡΑ ΚΑΙ ΘΑΜΝΟΙ Ενότητα 2: Χαρακτηριστικά φύλλων ανθέων και καρπών Γρηγόριος Βάρρας Αν. Καθηγητής.

Τμήμα Τεχνολόγων Γεωπόνων Τίτλος Μαθήματος: ΚΑΛΛΩΠΙΣΤΙΚΑ ΔΕΝΤΡΑ ΚΑΙ ΘΑΜΝΟΙ Ενότητα 10: Παράγωγη καλλωπιστικών φυτών. Μέρος Β’ Γρηγόριος Βάρρας Αν. Καθηγητής.

Εισαγωγή στη Νοσηλευτική Επιστήμη Ενότητα 7: Σχιζοφρένεια - Διδασκαλία Αυτοφροντίδας. Κοτρώτσιου Ευαγγελία, Καθηγητής, Τμήμα Νοσηλευτικής, T.E.I. Θεσσαλίας.

ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Κοινωνιολογία της Εκπαίδευσης 3o Μάθημα Λειτουργισμός/Φονξιοναλισμός και Εκπαίδευση (Ο Durkheim και.

1 Μηχανογραφημένη Λογιστική Ι Απλοποιημένο και Συγκεντρωτικό Τιμολόγιο Άρθρο 10 Χύτης Ευάγγελος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.

Εισαγωγή στη Νοσηλευτική Επιστήμη Ενότητα 9: Επικοινωνία. Κοτρώτσιου Ευαγγελία, Καθηγητής, Τμήμα Νοσηλευτικής, T.E.I. Θεσσαλίας.

 Στο προηγούμενο μάθημα έγινε μια εισαγωγή στην γενική μορφή ενός προγράμματος  Αυτή η μορφή ακολουθεί την λογική της απόδειξης θεωρημάτων μέσω προτάσεων.

ΕΙΣΑΓΩΓΗ ΣΤΗ ΛΟΓΙΣΤΙΚΗ ΕΝΟΤΗΤΑ :Η απογραφή Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.

1 Μηχανογραφημένη Λογιστική ΙI Εξέλιξη των Λ.Π.Σ. Χύτης Ευάγγελος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.

1 Μηχανογραφημένη Λογιστική Ι Εισαγωγή στα Λογιστικά Πληροφοριακά Συστήματα (Λ.Π.Σ.) Χύτης Ευάγγελος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα.

Ποιοτικός Έλεγχος Πρώτων Υλών Ενότητα 3: Ποιοτικός Έλεγχος στα Έπιπλα Γεώργιος Νταλός, Καθηγητής, Τμήμα Σχεδιασμού & Τεχνολογίας Ξύλου και Επίπλου, T.E.I.

1 Υπουργείο Περιβάλλοντος Ενέργειας και Κλιματικής Αλλαγής Ειδική Υπηρεσία Συντονισμού και Εφαρμογής Δράσεων στους τομείς της Ενέργειας, του Φυσικού Πλούτου.

Εισαγωγή στη λογιστική, Ενότητα :Λογιστικό αποτέλεσμα, ΤΜΗΜΑ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΉΣ ΚΑΙ ΛΟΓΙΣΤΙΚΗΣ, ΤΕΙ ΗΠΕΙΡΟΥ – Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου.

Τμήμα Τεχνολόγων Γεωπόνων Τίτλος Μαθήματος: ΕΠΑΓΓΕΛΜΑΤΙΚΕΣ ΜΕΛΕΤΕΣ - ΑΝΑΛΥΣΗ ΤΙΜΩΝ ΕΡΓΩΝ ΠΡΑΣΙΝΟΥ Ενότητα 3: Σύνταγμα - Δικαστήρια Γρηγόριος Βάρρας Αν.

1 Μηχανογραφημένη Λογιστική Ι Ηλεκτρονικό Τιμολόγιο Άρθρο 14 Χύτης Ευάγγελος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.

Εισαγωγή στη λογιστική, Ενότητα :Λογαριασμοί, ΤΜΗΜΑ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΉΣ ΚΑΙ ΛΟΓΙΣΤΙΚΗΣ, ΤΕΙ ΗΠΕΙΡΟΥ – Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου ΕΙΣΑΓΩΓΗ.

1 Ενοποιημένες Χρηματοοικονομικές Καταστάσεις Στάδια Κατάρτισης των ΕΟΚ Δρ. Χύτης Ευάγγελος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.

1 Λογιστική Εθνικών Λογαριασμών Διανεμητικές Συναλλαγές Διακομιχάλης Μιχαήλ Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.

Ενοποιημένες Χρηματοοικονομικές Καταστάσεις

Εισαγωγή στην Αριθμητική Ανάλυση Εισαγωγή στη MATLAB

Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου

Αλγόριθμοι Εξαγωγής Συμπερασμάτων (Inference Engine)

Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου

Ο άνθρωπος έχει πάει στ’ αλήθεια στη σελήνη;

Εμπορικό και Οικονομικό Δίκαιο

Λογιστική Εθνικών Λογαριασμών

ΕΥΦΥΗΣ ΕΛΕΓΧΟΣ Κεφάλαιο 4 Έμπειρα Συστήματα

Λογιστική Εθνικών Λογαριασμών

Εισαγωγή στη Νοσηλευτική Επιστήμη

ΠΑΡΑΓΩΓΗ ΗΜΙΤΟΝΙΚΟΥ ΕΝΑΛΛΑΣΣΟΜΕΝΟΥ ΡΕΥΜΑΤΟΣ

Εισαγωγή στη Νοσηλευτική Επιστήμη

Χρονικός Προγραμματισμός Έργων

Εμπορικό και Οικονομικό Δίκαιο

Ποιοτικός Έλεγχος Πρώτων Υλών

Πρότυπα Προγραμματισμού

Γενική Οικονομική Ιστορία

ΕΥΦΥΗΣ ΕΛΕΓΧΟΣ Κεφάλαιο 3 Έμπειρα Συστήματα

ΤΑ ΕΠΤΑ ΘΑΥΜΑΤΑ ΤΟΥ ΚΟΣΜΟΥ

Προγράμματα και Δομές Δεδομένων

ΝΟΣΗΛΕΥΤΙΚΗ ΦΡΟΝΤΙΔΑ ΓΥΝΑΙΚΩΝ ΙΑΚΩΒΟΣ ΧΑΡΑΛΑΜΠΟΥΣ ΑΡΓΥΡΗΣ ΓΕΩΡΓΙΟΣ ΙΩΑΝΝΑ ΣΑΟΥΛΛΗ ΚΑΝΤΡΙΕΛΑ ΧΥΣΜΕΡΙ ΕΛΕΥΘΕΡΙΑ ΜΕΝΕΓΑΚΗ.

Υπολογιστικά Φύλλα Εισαγωγή

الحث الكهرومغناطيسي مؤشرات الأداء

النسبة الذهبية العدد الإلهي

CIRCLES Arc Length, Sectors, Sections.

ΤΑ ΕΠΤΑ ΘΑΥΜΑΤΑ ΤΟΥ ΚΟΣΜΟΥ

Παρουσίαση ερευνητικού

Сабақтың тақырыбы: «Cos х = а, Sin х = а, tg х = а, ctg x = a түріндегі қарапайым тригонометриялық теңдеулер.»

Тақырыбы: Тригонометриялық функциялардың туындылары

Τίτλος Μαθήματος Ενότητα 1: Γενικά περί λογικού προγραμματισμού

Қарапайым тригонометриялық теңдеулер және оларды шешу

Εργασία για το μάθημα της Φυσικής Β’ Λυκείου

Μεταγράφημα παρουσίασης:

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

Ένα Πρόγραμμα σε 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(Χ, Υ).

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

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

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 ;

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.

Πρόγραμμα για τη Συμβολική Παραγώγιση 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

ΣΥΝΤΑΚΤΙΚΟ της 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)

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