Che cos'è la programmazione logica?
La programmazione logica è un tipo di programmazione informatica in cui il programmatore deve fornire al computer istruzioni su come prendere decisioni usando la logica matematica, come l'uso di un algoritmo matematico. I programmi per computer sono costituiti da codice che dice 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 corrente. La programmazione logica si occupa di questi tipi di decisioni e fornisce istruzioni al computer in modo che possa prendere una decisione "logica" sul modo migliore di rispondere a una determinata situazione. Affinché la programmazione logica funzioni, il programmatore che scrive il codice deve assicurarsi che le sue affermazioni abbiano un senso e siano vere, quindi logiche, e un programma per computer noto come un teorema-prover è tenuto a prendere decisioni in base alle dichiarazioni che incontra nel programmatore codice.
Un teorema-prover si riferisce a un programma per computer progettato per risolvere affermazioni matematiche note come teoremi. I teoremi sono affermazioni che si sono dimostrate vere in base a dichiarazioni precedenti. Nella programmazione logica, il teorema-prover lavora insieme alle affermazioni create dal programmatore per giungere a conclusioni. Ad esempio, se il codice afferma che A è uguale a B e B è uguale a C, il teorema-prover trarrà la logica logica 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 per computer deve trarre questa conclusione usando il teorema-prover e le dichiarazioni originali del programmatore nel codice.
In teoria, affinché la programmazione logica funzioni, il programmatore deve solo assicurarsi che le sue affermazioni siano corrette e il creatore del teorema-prover dovrebbe assicurarsi che il programma possa leggere le dichiarazioni e prendere le decisioni più efficienti basate su di esse. La capacità di prendere una decisione efficace è definita come un computer funzionante "logicamente". 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-prover al fine di ottenere i risultati desiderati. Mettere semplicemente delle dichiarazioni precise su come prendere una determinata decisione potrebbe non essere sufficiente per fare in modo che il computer esegua la funzione corretta e il programmatore dovrà testare il suo codice e apportare le modifiche di conseguenza.
Perché la programmazione logica funzioni, si basa anche sul ragionamento all'indietro. Nel ragionamento a ritroso, il programma giunge a conclusioni esaminando una serie di dati e lavorando da dichiarazioni note generali per giungere a conclusioni più avanzate. Il programma potrebbe sapere che due informazioni sono vere e ne dedurrà che poiché queste due informazioni sono vere, ciò significa che anche una terza informazione è vera. Continua questo processo fino a quando non raggiunge una conclusione logica basata sulle informazioni fornite. A causa del modo in cui funziona, la programmazione logica si basa sul linguaggio di rappresentazione dichiarativo, il che significa che il programma dice al computer cosa dovrebbe fare, ma lascia al teorema-prover determinare il modo più logico o efficiente per eseguire la procedura richiesta.