Cos'è la programmazione logica?
La programmazione logica è un tipo di programmazione di computer in cui il programmatore deve fornire le istruzioni del computer su come prendere decisioni utilizzando la logica matematica, come l'uso di un algoritmo matematico. I programmi per computer sono costituiti da codice che indica al computer cosa fare. Alla fine, tuttavia, il computer si imbatterà in un'istanza in cui deve prendere una decisione su come procedere e senza alcuna informazione su come farlo, non potrebbe completare la sua funzione attuale. La programmazione logica si occupa di questi tipi di decisioni e fornisce istruzioni al computer in modo che possa prendere una decisione "logica" su come rispondere al meglio a una determinata situazione. Affinché la programmazione logica funzioni, il programmatore che scrive il codice ha bisogno per garantire che le sue dichiarazioni abbiano senso e siano vere, quindi sono logiche e un programma per computer noto come teorema-protagonista è tenuto a prendere decisioni in base alle dichiarazioni che incontra nel codice del programmatore.
A Teorem-Prover si riferisce a un programma per computer progettato per risolvere le dichiarazioni matematiche note come teoremi. I teoremi sono dichiarazioni che si dimostrano vere in base alle dichiarazioni precedenti. Nella programmazione logica, The Teorem-Prover lavora insieme alle dichiarazioni create dal programmatore di computer per raggiungere le conclusioni. Ad esempio, se il codice afferma che A è uguale a B e B è uguale a C, il teorema-Prover farà la logica conclusione che A deve essere uguale a C. Questo processo è diverso dal programmatore che dice semplicemente al computer nel codice che A è uguale a C perché il programma del computer deve trarre questa conclusione usando il teorem-forto e il teorema e le dichiarazioni originali del programmatore nel codice.
In teoria, affinché la programmazione logica funzioni, il programmatore deve solo garantire che le sue dichiarazioni siano corrette e che il creatore di Theorem-Prover dovrebbe garantire che il programma possa leggere le dichiarazioni e rendere più EFdecisioni f efficienti basate su di essi. La capacità di prendere una decisione efficiente viene definita "logicamente" che funziona un computer. In realtà, i due campi di lavoro si sovrappongono e coloro che eseguono la programmazione logica spesso devono cambiare e manipolare il codice in base a come funziona il teorema-protagonista per ottenere i risultati che desiderano. Basta inserire dichiarazioni accurate su come prendere una determinata decisione potrebbe non essere sufficiente per convincere il computer a svolgere la funzione corretta e il programmatore dovrà testare il suo codice e apportare modifiche di conseguenza.
Per la programmazione logica per funzionare, si basa anche sul ragionamento all'indietro. Nel ragionamento all'indietro, il programma giunge a conclusioni osservando una serie di dati e lavorando da dichiarazioni generali conosciute per giungere a conclusioni più avanzate. Il programma potrebbe sapere che sono vere due informazioni e deducerà che poiché questi due informazioni sono vere, ciò significa che è vero anche un terzo pezzo di informazione. CONtinues questo processo fino a raggiungere una conclusione logica in base alle informazioni fornite. A causa del modo in cui funziona, la programmazione logica è costruita sul linguaggio di rappresentazione dichiarativa, il che significa che il programma dice al computer cosa dovrebbe fare, ma lo lascia alla protagonista del teorema per determinare il modo più logico o efficiente per eseguire la procedura richiesta.