Λόγοι για να Χρησιμοποιήστε Prolog

Prolog ( Προγραμματισμός σε Logic) είναι μια μοναδική γλώσσα προγραμματισμού . Αυτό αναπτύχθηκε στη Γαλλία από τους ερευνητές που ενδιαφέρονται για αυτόματη μετάφραση φυσική γλώσσα . Τελειοποιήθηκε στη Σκωτία από ερευνητές που ενδιαφέρονται για την αυτόματη provers θεώρημα . Ήρθε στην προσοχή του κόσμου όταν οι Ιάπωνες επέλεξε ως βασική γλώσσα "Fifth Generation " Τεχνητή Νοημοσύνη ( AI ) το έργο τους . Υπάρχουν πολλοί καλοί λόγοι για να χρησιμοποιήσετε Prolog . Χρησιμοποιώντας Prolog
Η

Ένας από τους καλύτερους λόγους για να χρησιμοποιήσει Prolog είναι ότι δεν έχετε να πείτε στον υπολογιστή πώς να λύσει ένα πρόβλημα --- απλά πρέπει να δώσει στον υπολογιστή τους κανόνες που συμμετέχουν στην επίλυση του πρόβλημα. Προγράμματα Prolog αποτελείται από ένα προσεκτικά καταδικαστεί σύνολο κανόνων που μοιάζει με αυτό : Αν Χ και Υ και Ζ , στη συνέχεια W. Αυτό το σύνολο των κανόνων που θα μπορούσαν να γραμματικής κανόνες ( εάν εργάζεστε σε φυσικές γλώσσες ) ή τους κανόνες σχετικά με τα μαθηματικά ( αν εργάζεστε για την αυτόματη provers θεώρημα ) ή τους κανόνες για κάθε τομέα ενδιαφέροντος . Οι κανόνες πρέπει να έχουν αυτή τη μορφή : «Αν ( οποιοσδήποτε αριθμός προηγούμενα --- συμπεριλαμβανομένου του μηδενός προηγούμενα ), τότε ( συμπέρασμα ) . " Τα προηγούμενα πρέπει να συνδεθεί με το "και" συνδυασμό . Μόλις οι κανόνες είναι σε ισχύ , μπορείτε να υποβάλετε μια ερώτηση και το πρόγραμμα θα απαντήσει " ναι ", "όχι " ή " δεν μπορεί να πει . "
Εικόνων Ποσοτικοποίηση
Η

Ένας άλλος λόγος για να χρησιμοποιήσετε Prolog , είναι ότι είναι πολύ εύκολο να εκφράσουν τα πράγματα στην Prolog που είναι δύσκολο να εκφραστούν σε άλλες γλώσσες . Είναι εύκολο να εκφράσουν τα γεγονότα στην Prolog , αλλά είναι επίσης εύκολο να εκφράσουν πολύπλοκες σχέσεις , επειδή χρησιμοποιεί τη λογική Prolog ποσοτικοποίηση αντί του απλούστερη λογική που χρησιμοποιείται από άλλες γλώσσες . Ποσοτικοποίηση απλά σημαίνει ότι μια μεταβλητή μπορεί να έχει τα χαρακτηριστικά --- Με άλλα λόγια , δεν είναι μόνο "Αν Α και Β , στη συνέχεια, C " μπορεί επίσης να είναι " Αν A ( a, b, c ) και Β ( m , n ), τότε γ (α , b, ν) " , όπου a, b, c , m και η είναι χαρακτηριστικά των Α, Β και C. Για παράδειγμα: Εάν Μεταξύ ( x, y, z) και μεταξύ των (x, k, y ), τότε μεταξύ ( x , k , z) " θα είναι δύσκολο να εκφραστούν σε άλλη γλώσσα --- θα λάβει σίγουρα περισσότερες από μία γραμμή σε οποιαδήποτε άλλη γλώσσα .

Η ενοποίηση

Ο λόγος που πολλοί άνθρωποι επιλέγουν Prolog είναι ότι θα ψάξει αυτόματα για μια απάντηση . Αυτό μπορεί να γίνει και σε άλλες γλώσσες , αλλά δεν είναι αυτόματη και θα περιλαμβάνει εκατοντάδες ή χιλιάδες γραμμές κώδικα . Prolog παίρνει πραγματικά της ενέργειας από λογικές εργαλεία όπως η ποσοτικοποίηση και η ενοποίηση . ενοποίηση σημαίνει απλά ότι δύο πράγματα δεν πρέπει να είναι ίση για να ταιριάζει όσο μπορούν να γίνουν ίσες με τη χρήση κάποιου λίστα των αντικαταστάσεων . για παράδειγμα , P ( j , ζ) δεν είναι ίση με P ( k , g ), αλλά μπορούν να γίνουν ίσα αν ( j = k) είναι στη λίστα υποκατάστατο . ενοποίηση καθιστά εύκολο να ψάξει για κάτι , διότι όταν Prolog απαντά " ναι " ή "όχι " θα επιστρέψει επίσης την υποκατάσταση λίστα που χρειάζεται για να κάνει τα πράγματα να λειτουργήσουν . για παράδειγμα, αν το γεγονός Dog (πλούσιο , benji ) είναι στη βάση δεδομένων σας και να θέσουμε το ερώτημα « Dog (πλούσιο , x ) » . Prolog θα επιστρέψει « ναι» και η λίστα των αναπληρωματικών ( x = benji ) .
Η
εικόνων