Τι είναι η γλώσσα Prolog;

Ο Prolog είναι μια γλώσσα προγραμματισμού υπολογιστή που βασίζεται στη λογική.Οι περισσότερες γλώσσες υπολογιστών βασίζονται στα βήματα που απαιτούνται για την επίλυση ενός προβλήματος.Η γλώσσα Prolog, από την άλλη πλευρά, είναι μια δηλωτική γλώσσα που υποδεικνύει τις λογικές σχέσεις μεταξύ οντοτήτων.Ο τρόπος επίλυσης του προβλήματος αφήνεται στον υπολογιστή.Το όνομα Prolog προέρχεται από τον γαλλικό προγραμματισμό en logique, δηλαδή τη λογική προγραμματισμού.:- Πατέρας (P, R), Πρόγονος (R, Q)

Πατέρας (John, Jim)

Πατέρας (Jim, Jerry)

Πατέρας (Jerry, Jason)

Πατέρας (Jerry, Jeff).Jason, Joshua)

Το παραπάνω πρόγραμμα υποδεικνύει truisms.Εάν ο F είναι πατέρας του C, τότε ο F είναι πρόγονος του C. Εάν ο P είναι ο πατέρας κάποιου προσώπου που είναι πρόγονος του Q, τότε ο P είναι πρόγονος του Q.Ο Ιωάννης είναι ο πατέρας του Jim.Εάν τότε τίθεται μια ερώτηση για το αν ο Ιωάννης είναι πρόγονος του Jeff, παίρνουμε την απάντηση ναι όπως παρακάτω:Το πρόγραμμα εμφανίζει όλους τους προγόνους ως εξής:

?- Πρόγονος (a, joshua)
a ' jason
a ' jerry

a ' jim a ' John

Πώς να κάνετε την αξιολόγηση.Για παράδειγμα, δεν έδειξε αν θα ξεκινήσει από το ηλικιωμένο άτομο και θα εργαστεί στο νεότερο άτομο ή αντίστροφα.Επίσης, η ανταλλαγή των τμημάτων όπως παρακάτω:

Πρόγονος (P, Q):- Ο πρόγονος (r, Q), ο πατέρας (p, r)

δεν θα έκανε καμία διαφορά στο πρόγραμμα, καθώς και τα δύο αυτά μέρη στη δεξιά πλευρά χρειάζονταινα είναι αληθινό για να είναι αλήθεια η αριστερή πλευρά.

Η γλώσσα Prolog επικεντρώνεται έτσι στις σχέσεις και όχι στον τρόπο επίλυσης του προβλήματος.Κατά τη διάρκεια της εκτέλεσης του προγράμματος, ο Prolog δημιουργεί μια σειρά από πραγματικές δηλώσεις, δημιουργώντας μια βάση γνώσεων.Στο παραπάνω παράδειγμα, η γνώσης, σε καμία συγκεκριμένη σειρά, δεν θα είχε πρόγονο (John, Jim), πρόγονος (Jim, Jerry), πρόγονος (John, Jerry), πρόγονος (Jim, Jason), πρόγονος (John, Jason),και ούτω καθεξής.Αυτή η γνώσης μπορεί να συνεχίσει να δημιουργεί καθώς το πρόγραμμα εκτελεί και μπορεί να αναζητηθεί αποτελεσματικά για να λάβει λύσεις.Η εκτέλεση μπορεί να χρησιμοποιήσει παράλληλη επεξεργασία, ταυτόχρονη εκτέλεση από πολλούς υπολογιστές.

Η γλώσσα Prolog χρησιμοποιείται σε διάφορες περιοχές.Ξεκίνησε σε συστήματα που προσανατολίζονται για φυσικές γλώσσες, όπως τα αγγλικά.Η φυσική γλώσσα είναι ένας από τους τομείς της τεχνητής νοημοσύνης.Η γλώσσα Prolog χρησιμοποιείται επίσης σε συμβολικά μαθηματικά, συμπεριλαμβανομένης της άλγεβρας.Χρησιμοποιείται για την απόδειξη των θεωρημάτων, στα συστήματα εμπειρογνωμόνων και στα συστήματα ελέγχου, μεταξύ πολλών άλλων εφαρμογών.