Πίνακας περιεχομένων:
Ορισμός - Τι σημαίνει Prolog;
Programming en Logique (Προγραμματισμός σε Λογική) ή Prolog είναι μια γλώσσα προγραμματισμού υψηλού επιπέδου που έχει τις ρίζες της στη λογική πρώτης τάξης ή στον υπολογισμό του predicate πρώτης τάξης. Η γλώσσα σχεδιάστηκε στη Μασσαλία της Γαλλίας στις αρχές της δεκαετίας του 1970 από μια ομάδα με επικεφαλής τον Alain Colmerauer. Είναι μία από τις πρώτες λογικές γλώσσες προγραμματισμού και παραμένει δημοφιλής σήμερα. Πρόκειται για μια γλώσσα προγραμματισμού που συσχετίζεται συνήθως με την υπολογιστική γλωσσολογία και την τεχνητή νοημοσύνη και χρησιμοποιείται σε συστήματα εμπειρογνωμόνων, την τεκμηρίωση θεώρημα και την αντιστοίχιση προτύπων σε φυσικές γλώσσες και επεξεργασία φυσικής γλώσσας.
Η Techopedia εξηγεί το Prolog
Το πρώτο σύστημα Prolog αναπτύχθηκε το 1972 από τον Colmerauer μαζί με τον Philippe Roussel και βασίστηκε στη διαδικαστική ερμηνεία των ρητρών Horn από τον Robert Kowalski. Υποστηρίχθηκε επίσης εν μέρει από την επιθυμία να συμβιβαστεί η χρήση της λογικής ως δηλωτικής γλώσσας εκπροσώπησης της γνώσης με τη διαδικαστική εκπροσώπηση της γνώσης. Το Prolog αναπτύχθηκε ειδικά για τη φυσική επεξεργασία των γλωσσών - που σχετίζονται με τις ηλεκτρονικές αλληλεπιδράσεις στον υπολογιστή και την ανθρώπινη (φυσική) γλώσσα.
Το Prolog διαφέρει από άλλες γλώσσες προγραμματισμού, καθώς είναι δηλωτικό και όχι ακολουθίες εντολών. Μερικές φορές ονομάζεται γλώσσα βασισμένη σε κανόνες ή δηλωτική, καθώς εκφράζεται με όρους σχέσεων μεταξύ αντικειμένων αντικειμένων που παρουσιάζονται ως γεγονότα και κανόνες. Ένας υπολογισμός ξεκινά με την εκτέλεση ενός ερωτήματος πάνω σε αυτές τις σχέσεις.
Οι εφαρμογές περιλαμβάνουν:
- Εκμάθηση μηχανών
- Σχεδιασμός ρομπότ
- Αυτοματοποιημένη συλλογιστική
- Επίλυση προβλήματος
- Έξυπνη ανάκτηση δεδομένων
- Γνώση φυσικής γλώσσας
- Γλώσσα εξειδίκευσης
