Prolog Επεξεργασία και Αναπαράσταση Γνώσης Εισαγωγή ΤΕΙ Ιονίων Νήσων Τμήμα Διοίκησης Επιχειρήσεων Εργαστήριο: Τεχνητή Νοημοσύνη

Περιβάλλον προγραμματισμού Editor Για να γράψετε ένα πρόγραμμα Prolog πρέπει να χρησιμοποιήσετε έναν Editor. Μπορείτε να χρησιμοποιήσετε έναν οποιοδήποτε Εditor όπως το Notepad – Notepad++ (προτείνεται) ή κάποιον άλλο επεξεργαστή κειμένου όπως το WordPad Οι περισσότερες σύγχρονες εκδόσεις Prolog (SWI-Prolog, SICStus, AMZI κ.α.) διαθέτουν το δικό τους ολοκληρωμένο περιβάλλον ανάπτυξης κώδικα.

Περιβάλλον προγραμματισμού H SWI-Prolog, την οποία και χρησιμοποιούμε στο μάθημά μας, διαθέτει τον ενσωματωμένο Editor PceEmac. Για να δουλέψετε σε αυτόν θα πρέπει πρώτα να έχετε κατεβάσει και εγκαταστήσει την SWI-Prolog από http://www.swi-prolog.org/. Για να δημιουργήσετε ένα καινούργιο αρχείο, επιλέξτε από το μενού της Prolog File --> New και μετά εισάγετε το όνομα του αρχείου που θέλετε να δημιουργηθεί (για παράδειγμα test.pl).

Περιβάλλον προγραμματισμού Δημιουργώντας ένα καινούργιο αρχείο ή επιλέγοντας ένα ήδη υπάρχον, η SWI-Prolog χωρίζεται σε δύο μέρη (όπως φαίνεται στη παρακάτω οθόνη). Στο πρώτο μέρος τρέχουμε το πρόγραμμά μας (ή πιο σωστά κάνουμε ερωτήσεις στη Prolog) ενώ στο δεύτερο μέρος γράφουμε το πρόγραμμά μας. Το πρώτο μέρος ονομάζεται διερμηνέας (Interpreter) της Prolog. Κώδικας Prolog σε Notepad++ Εκτέλεση προγράμματος στον διερμηνέα

Προγραμματιστικό περιβάλλον Το πρόγραμμα της Prolog, το οποίο γράφουμε σε Notepad++, το αποθηκεύουμε σαν ¨Όνομα_file.pl¨. Θα πρέπει να εμφανιστεί ένα αρχείο με το όνομα που εμείς δώσαμε και το εικονίδιο της Prolog Στην SWI-Prolog ακολουθούμε File  consult  επιλογή αρχείου & άνοιγμα ή απλά διπλο-κλικάρουμε πάνω στο αρχείο pl Όνομα.pl

Προγράμματα στην Prolog: μια γενική προσέγγιση Αυτό σημαίνει ότι αποτελείται από δεδομένα (ή αξιώματα) βάση των οποίων μπορούμε να αποδείξουμε μια πρόταση Υπό αυτή την έννοια ένα πρόγραμμα Prolog είναι ένα σύνολο προτάσεων που περιγράφουν τα δεδομένα του προβλήματος και τις σχέσεις μεταξύ τους.

Η γενική μορφή ενός κανόνα Οι προτάσεις που πρέπει να αποδειχθούν λέγονται προτάσεις Horn και αποτελούν υποσύνολο της λογικής πρώτης τάξης. Προτάσεις Horn A ← A0,A1,…,An : Για να δείξεις το Α πρέπει να δείξεις το Α0 και το Α1,…,και το Αν

Η γενική μορφή ενός κανόνα: παράδειγμα Horn Η Prolog ακολουθεί την λογική επίλυσης προβλημάτων. Θεώρημα Rolle Αν μια συνάρτηση f είναι : συνεχής στο κλειστό διάστημα [α, β] παραγωγίσιμη στο ανοικτό διάστημα (α, β) και f(α) = f(β) τότε υπάρχει ένα, τουλάχιστον, ξ ϵ (α, β) τέτοιο, ώστε: fʹ(ξ) = 0 Η πρόταση Horn θα μπορούσε να είναι της μορφής: fʹ(ξ) = 0  συνεχής στο κλειστό διάστημα [α, β], παραγωγίσιμη στο ανοικτό διάστημα (α, β), f(α) = f(β)