Prolog Γλώσσα Tutorial

Prolog (προγραμματισμός στη λογική ) είναι μια γλώσσα προγραμματισμού που αναπτύχθηκε στη Γαλλία για χρήση σε μετάφραση φυσική γλώσσα . Φυσική γλώσσα είναι ό, τι οι προγραμματιστές αποκαλούν γλώσσες όπως τα γαλλικά και τα γερμανικά . Prolog ήταν βελτιώθηκε περαιτέρω από τους επιστήμονες υπολογιστών στη Σκωτία για χρήση σαν ένας αυτόματος αποδείκτης θεώρημα, το οποίο αποδεικνύει θεωρήματα στα μαθηματικά και τη λογική . Οι Ιάπωνες επέλεξαν Prolog να χρησιμοποιήσει στην Τεχνητή Νοημοσύνη ( AI ) έργα . Αυτή η διεθνής γλώσσα είναι εκπληκτικά ευέλικτο . Οδηγίες
Η 1

Χρησιμοποιήστε Prolog , δεδομένου ότι προορίζεται να χρησιμοποιηθεί . Γλώσσες όπως η Ruby και C + + πείτε στον υπολογιστή τι να κάνει . Προγραμματισμός σε Prolog αποτελείται από τη δημιουργία μιας βάσης δεδομένων των γεγονότων και των κανόνων που περιγράφει κάποια σύμπαν του λόγου . Ο χρήστης υποβάλλει στη συνέχεια μια ερώτηση και Prolog απαντά στο ερώτημα με βάση τα γεγονότα και τους κανόνες στη βάση δεδομένων . Αυτή η διαδικασία ερωτήσεων και απαντήσεων είναι αρκετά ευέλικτη . Για παράδειγμα , το ερώτημα μπορεί να είναι ένα μαθηματικό θεώρημα και η απάντηση λέει αν είναι αληθής ή ψευδής , ή το ερώτημα μπορεί να είναι μια φράση στα ιαπωνικά και η απάντηση είναι η μετάφραση στα γαλλικά . 2

Μάθετε η δομή των προτάσεων Horn - αυτό είναι το κλειδί για να εκπροσωπεί τα γεγονότα και τους κανόνες στη βάση δεδομένων της Prolog " πρόγραμμα ". Μια Horn ρήτρα αναπαράσταση ενός γεγονότος είναι απλά μια δήλωση του γεγονότος που ακολουθείται από μία περίοδο . Το Κέρας της Αφρικής ρήτρα αναπαράσταση ενός κανόνα είναι ένα συμπέρασμα , που ακολουθείται από το " : - " . Σύμβολο , που ακολουθείται από μια σειρά προϋποθέσεων , ακολουθούμενη από μια περίοδο

Το γεγονός ότι ο ουρανός είναι μπλε θα μπορούσε να γραφτεί σε Prolog ως « Μπλε ( ουρανός ) . " Ο κανόνας ότι ο ουρανός είναι μπλε αν είναι ημερήσια και δεν βρέχει είναι "Blue ( ουρανός ) : - Χρόνος ( ημέρα ) , Βρέχει ( όχι ) . "