Co je logické programování?

Logické programování je typ počítačového programování, ve kterém musí programátor dát počítači pokyny, jak se rozhodovat pomocí matematické logiky, jako je použití matematického algoritmu. Počítačové programy jsou tvořeny kódem, který říká počítači, co má dělat. Nakonec se však počítač dostane do instance, kde se musí rozhodnout, jak postupovat, a bez jakýchkoli informací o tom, jak to udělat, by nemohl dokončit svou současnou funkci. Logické programování se zabývá těmito typy rozhodnutí a dává pokyny počítači, takže může učinit „logické“ rozhodnutí o tom, jak nejlépe reagovat na určitou situaci. Aby logické programování fungovalo, musí programátor, který kód kóduje, zajistit, aby její příkazy byly smysluplné a pravdivé, tedy logické, a počítačový program známý jako věta-ověřovatel je povinen rozhodovat na základě příkazů, s nimiž se potýká v programátorově kód.

Věta-prover odkazuje na počítačový program, který byl navržen k řešení matematických prohlášení známých jako věty. Věty jsou tvrzení, která jsou na základě předchozích tvrzení ukázána jako pravdivá. V logickém programování pracuje věta-prover spolu s výroky vytvořenými počítačovým programátorem k dosažení závěrů. Pokud například kód uvádí, že A se rovná B a B se rovná C, provizor věty provede logický závěr, že A se musí rovnat C. Tento proces je jiný než programátor, který jednoduše řekne počítači v kód, který je roven C, protože počítačový program musí tento závěr vyvodit s použitím provizorní věty a původních příkazů programátora v kódu.

Teoreticky, aby logické programování fungovalo, musí programátor pouze zajistit, aby její výroky byly správné, a tvůrce provizorní věty by měl zajistit, aby program mohl číst výroky a na jejich základě přijímat nejúčinnější rozhodnutí. Schopnost činit efektivní rozhodnutí se označuje jako počítač fungující „logicky“. Ve skutečnosti se obě pole práce překrývají a ti, kteří provádějí logické programování, často musí změnit a manipulovat kód na základě toho, jak funguje věta-prover, aby dosáhli požadovaných výsledků. Pouhé uvedení přesných prohlášení o tom, jak učinit určité rozhodnutí, nemusí stačit k tomu, aby počítač provedl správnou funkci, a programátor bude muset otestovat svůj kód a podle toho provést úpravy.

Aby logické programování fungovalo, také se spoléhá na opačné uvažování. V opačném odůvodnění dospěl program k závěrům tím, že se podíval na soubor dat a na základě obecných známých prohlášení dospěl k pokročilejším závěrům. Program může vědět, že dvě informace jsou pravdivé, a z toho vyvozuje, že jelikož tyto dvě informace jsou pravdivé, znamená to také třetí informaci. Pokračuje v tomto procesu, dokud nedosáhne logického závěru na základě poskytnutých informací. Vzhledem k tomu, jak to funguje, je logické programování založeno na deklarativním reprezentačním jazyce, což znamená, že program sděluje počítači, co by měl dělat, ale ponechává na teorémovi, aby určil nejlogičtější nebo nejúčinnější způsob provedení požadovaného postupu.