Χρήσεις της Prolog

Prolog είναι μια ισχυρή νέα γλώσσα προγραμματισμού με εφαρμογές στην πρώτη γραμμή της επιστημονικής έρευνας . Αυτό αναπτύχθηκε στη Γαλλία από ερευνητές που ενδιαφέρονται για την αυτόματη μηχανική μετάφραση μεταξύ των φυσικών γλωσσών . Στη συνέχεια εξευγενισμένα στη Σκωτία από μαθηματικοί που ενδιαφέρονται για τα προγράμματα ηλεκτρονικών υπολογιστών που αποδεικνύει αυτόματα μαθηματικά θεωρήματα . Στη συνέχεια επιλέγεται από τους Ιάπωνες για επίσημη γλώσσα της Πέμπτης γενιάς Τεχνητή Νοημοσύνη Έργου . Φυσικής Γλώσσας Μετάφραση
Η

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

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

Η Data Mining
Η

Prolog , από τη φύση της , δημιουργεί μια βάση δεδομένων . . Λόγω του τρόπου Prolog εκφράσεις περιέχουν μεταβλητές , μια ερώτηση σχετικά με τη βάση δεδομένων μπορεί να επιστρέψει επιθυμητό τιμές . Για παράδειγμα , το ερώτημα " Bigger_than_a_breadbox ( X ) " θα επιστρέψει ένα «όχι» εάν δεν στη βάση δεδομένων είναι μεγαλύτερο από ένα breadbox . Αν κάτι είναι , Prolog θα επιστρέψει " ναι " , καθώς και μια λίστα με όλα τα πράγματα στη βάση δεδομένων που προκάλεσε μια « αγώνα ». Θα υπάρχει μια λίστα , όπως : . X = Godzilla ? Χ = Το Empire State Building ? X = A Volkswagen και ούτω καθεξής , ανάλογα με το περιεχόμενο της βάσης δεδομένων εικόνων
Ρομποτική
Η

ρομπότ πρέπει να ρωτούν συνεχώς οι ίδιοι την ίδια ερώτηση: "Τι μπορώ να κάνω τώρα " Η βάση δεδομένων που χρησιμοποιείται για να απαντηθεί το ερώτημα αυτό προέρχεται από τρεις πηγές : οι αισθητήρες , μνήμη και εντολές από τον άνθρωπο . Το ερώτημα παραμένει το ίδιο , αλλά η βάση δεδομένων που χρησιμοποιείται για να απαντήσει στην ερώτηση αλλάζει συνεχώς . Ένα από τα πλεονεκτήματα της χρήσης προλόγου με ένα ρομπότ είναι ότι πολλές prologs μπορεί να τρέξει ταυτοχρόνως στην ίδια βάση δεδομένων. Τα μάτια μπορεί να τρέξει ένας πρόλογος , ενώ τα πόδια να εκτελέσετε ένα άλλο πρόλογο χωρίς καμία παρέμβαση , καθώς δεν αλλάζει τη βάση δεδομένων .
Η
εικόνων