Τι είναι ο λογικός προγραμματισμός;

Ο λογικός προγραμματισμός είναι ένας τύπος προγραμματισμού υπολογιστών στον οποίο ο προγραμματιστής πρέπει να δώσει στις οδηγίες του υπολογιστή σχετικά με τον τρόπο λήψης αποφάσεων χρησιμοποιώντας μαθηματική λογική, όπως η χρήση ενός μαθηματικού αλγορίθμου.Τα προγράμματα υπολογιστών αποτελούνται από κώδικα που λέει στον υπολογιστή τι να κάνει.Τελικά, ωστόσο, ο υπολογιστής θα πραγματοποιηθεί σε μια περίπτωση όπου πρέπει να λάβει μια απόφαση για το πώς να προχωρήσει και χωρίς καμία πληροφορία για το πώς να το κάνει αυτό, δεν θα μπορούσε να ολοκληρώσει την τρέχουσα λειτουργία του.Ο λογικός προγραμματισμός ασχολείται με αυτούς τους τύπους αποφάσεων και δίνει οδηγίες στον υπολογιστή, ώστε να μπορεί να λάβει μια λογική απόφαση σχετικά με τον καλύτερο τρόπο να ανταποκριθεί σε μια συγκεκριμένη κατάσταση.Για να λειτουργήσει ο λογικός προγραμματισμός, ο προγραμματιστής που γράφει ότι ο κώδικας πρέπει να εξασφαλίσει ότι οι δηλώσεις του έχουν νόημα και είναι αληθινές, επομένως είναι λογικοί και ένα πρόγραμμα υπολογιστή που είναι γνωστό ως θεώρημα-προστασίας απαιτείται για τη λήψη αποφάσεων βάσει των δηλώσεων που συναντά στους προγραμματιστέςΚωδικός.

a theorem-prover αναφέρεται σε ένα πρόγραμμα υπολογιστή που έχει σχεδιαστεί για την επίλυση μαθηματικών δηλώσεων γνωστών ως θεωρήματα.Τα θεωρήματα είναι δηλώσεις που αποδεικνύονται αληθινές με βάση προηγούμενες δηλώσεις.Στον λογικό προγραμματισμό, το θεώρημα-προμηθευμένο συνεργάζεται μαζί με τις δηλώσεις που δημιουργήθηκε από τον προγραμματιστή υπολογιστών για να καταλήξουν σε συμπεράσματα.Για παράδειγμα, εάν ο κώδικας δηλώσει ότι το Α είναι ίσο με τα Β και Β είναι ίσα με το C, το θεώρημα-παραβίαση θα κάνει το λογικό συμπέρασμα ότι το Α πρέπει να είναι ίσο με το C. Αυτή η διαδικασία είναι διαφορετική από τον προγραμματιστή απλά λέγοντας στον υπολογιστή στο TheΟ κωδικός ότι το Α είναι ίσο με το C, επειδή το πρόγραμμα υπολογιστή πρέπει να συνάγει αυτό το συμπέρασμα χρησιμοποιώντας το θεώρημα-προμηθευτή και τις αρχικές δηλώσεις προγραμματιστών στον κώδικα.Διορθώστε και ο Δημιουργός του Θεωρήματος-Πρόεδρος θα πρέπει να διασφαλίσει ότι το πρόγραμμα μπορεί να διαβάσει δηλώσεις και να λάβει τις πιο αποτελεσματικές αποφάσεις που βασίζονται σε αυτές.Η δυνατότητα λήψης αποτελεσματικής απόφασης αναφέρεται ως υπολογιστής που λειτουργεί λογικά.Στην πραγματικότητα, τα δύο πεδία της εργασίας αλληλεπικαλύπτονται και εκείνοι που εκτελούν λογικό προγραμματισμό συχνά πρέπει να αλλάξουν και να χειριστούν τον κώδικα με βάση τον τρόπο λειτουργίας του θεώρητου για να επιτύχουν τα αποτελέσματα που θέλουν.Απλά θέτοντας ακριβείς δηλώσεις σχετικά με τον τρόπο λήψης μιας συγκεκριμένης απόφασης μπορεί να μην είναι αρκετή για να επιτευχθεί ο υπολογιστής για να εκτελέσει τη σωστή λειτουργία και ο προγραμματιστής θα πρέπει να δοκιμάσει τον κώδικα της και να κάνει τις προσαρμογές ανάλογα.

Για να λειτουργήσει ο λογικός προγραμματισμός, επίσηςβασίζεται στην πίσω συλλογιστική.Στην πίσω συλλογιστική, το πρόγραμμα καταλήγει σε συμπεράσματα εξετάζοντας ένα σύνολο δεδομένων και εργάζονται από γενικές γνωστές δηλώσεις για να καταλήξουν σε πιο προηγμένα συμπεράσματα.Το πρόγραμμα μπορεί να γνωρίζει ότι δύο πληροφορίες είναι αληθινά και θα συμπεράνει ότι, δεδομένου ότι αυτά τα δύο στοιχεία είναι αληθινά, αυτό σημαίνει ότι ένα τρίτο κομμάτι των πληροφοριών είναι επίσης αληθινή.Συνεχίζει αυτή τη διαδικασία μέχρι να φτάσει σε ένα λογικό συμπέρασμα με βάση τις πληροφορίες που δόθηκε.Λόγω του τρόπου με τον οποίο λειτουργεί, ο λογικός προγραμματισμός βασίζεται στη γλώσσα δηλωτικής εκπροσώπησης, που σημαίνει ότι το πρόγραμμα λέει στον υπολογιστή τι πρέπει να κάνει, αλλά αφήνει το θεώρημα για να καθορίσει τον πιο λογικό ή αποτελεσματικό τρόπο για την εκτέλεση της ζητούμενης διαδικασίας.