Η Ιστορία της γλώσσας προγραμματισμού Prolog

PROLOG ( Logic Programming) είναι μια δηλωτική γλώσσα προγραμματισμού ηλεκτρονικών υπολογιστών που χρησιμοποιείται συχνά στον προγραμματισμό τεχνητής νοημοσύνης ( AI ) εφαρμογές . Μια δηλωτική γλώσσα είναι μια γλώσσα προγραμματισμού που καθορίζει τι πρέπει να γίνει , ως αποτέλεσμα των ειδικών κριτηρίων , παρά με το πώς θα πρέπει να γίνει κάτι . Origins
Η

PROLOG δημιουργήθηκε μεταξύ 1971 και 1973 από τον Philippe Roussel και Alain Colmerauer ως πρακτική γλώσσα ανάπτυξης που θα βασίζεται στην ιδέα των αυτοματοποιημένων επαγωγικό συλλογισμό . Η γλώσσα επιτρέπεται τύπους πρέπει να ερμηνευθεί κατά τέτοιο τρόπο που θα μπορούσε να επιτευχθεί ένα λογικό συμπέρασμα . PROLOG αρχικά ως ένας τρόπος για να αυτοματοποιήσει την επεξεργασία φυσικής γλώσσας , αλλά σύντομα να αξιοποιηθεί για την γενικότερη ανάπτυξη εφαρμογών , καθώς και . Είναι χρησιμοποιήθηκε για πρώτη φορά να κάνει αφαιρετικό αποφάσεις με βάση την είσοδο στη γραπτή Γαλλικά .
Εικόνων Εφαρμογή
Η

Το 1983 , ο David H. Warren δημιούργησε μια αρχιτεκτονική μηχάνημα που ονομάζεται " αφηρημένη μηχανή , " το οποίο θα μπορούσε να καθοδηγήσει τις εφαρμογές PROLOG . Ονομάζεται " Warren Abstract Machine" ( WAM ) , έγινε η τυποποιημένη μέθοδος εφαρμογής για PROLOG .

Η Επίδραση
Η

PROLOG έχει μια σειρά από επιπτώσεις σε το πεδίο της επιστήμης των υπολογιστών . Δεδομένου ότι η αρχική λογική βάση langauge προγραμματισμού , επέτρεψε για τις προσθήκες σε σχεσιακές βάσεις δεδομένων για να δημιουργήσετε μια νέα μορφή της βάσης δεδομένων που αναφέρεται ως dedutive βάσεις δεδομένων . Από τη δεκαετία του 1980 και μετά , επηρέασε το σχηματισμό των ευφυών υπολογιστικών συστημάτων , περιορισμός λογικού προγραμματισμού , επαγωγική λογική του προγραμματισμού και της μηχανικής μάθησης .
Η
εικόνων