Co je to logické programování?

Logické programování je typ počítačového programování, ve kterém musí programátor poskytovat počítačové 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 však počítač narazí na instanci, kdy musí rozhodnout, jak postupovat, a bez jakýchkoli informací o tom, jak to provést, nemohl dokončit svou současnou funkci.Logické programování se zabývá těmito typy rozhodnutí a dává pokyny počítači, aby mohla učinit logické rozhodnutí o tom, jak nejlépe reagovat na určitou situaci.Pro logické programování do práce musí programátorka psaní kódu zajistit, aby její prohlášení měly smysl a jsou pravdivé, proto jsou logické a počítačový program známý jako věta-propracovaný pro rozhodování na základě prohlášení, s nimiž se setkává u programátorůKód.Věty jsou prohlášení, která se ukazují, že jsou pravdivá na základě předchozích prohlášení.V logickém programování spolupracuje propracování věty s příkazy vytvořenými počítačovým programátorem k dosažení závěrů.Pokud například kód uvádí, že A je roven B a B, je rovna C, propracování věty učiní logický závěr, že A musí být roven C. Tento proces je jiný než programátor jednoduše vypráví počítač vKód, že a je roven C, protože počítačový program musí tento závěr vyvodit pomocí propracování věty a původních příkazů programátorů v kódu.Správné a tvůrce propracování věty by měl zajistit, aby program mohl číst prohlášení a činit nejúčinnější rozhodnutí založená na nich.Schopnost učinit efektivní rozhodnutí se označuje jako logicky fungující počítač.Ve skutečnosti se dvě oblasti práce překrývají a ti, kteří provádějí logické programování, se často musí změnit a manipulovat s kódem na základě toho, jak pracuje-proslán věty, aby dosáhl požadovaných výsledků.Jednoduše 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 její kód a odpovídajícím způsobem provést úpravy

Pro logické programování do práce, to také, to takéspoléhá na zpětné uvažování.Při zpětném zdůvodnění se program přichází k závěrům tím, že se podíváme na soubor údajů a pracuje od obecných známých prohlášení, aby dospěl k pokročilejším závěrům.Program může vědět, že dvě informace jsou pravdivé, a bude usoudit, že vzhledem k tomu, že tyto dvě informace jsou pravdivé, znamená to, že třetí informace je také pravdivá.Tento proces pokračuje, dokud nedosáhne logického závěru na základě jeho daných informací.Vzhledem k tomu, jak to funguje, je logické programování postaveno na deklarativním jazyce reprezentace, což znamená, že program řekne počítači, co by měl dělat, ale ponechává jej na věty-pro-proveru, aby určil nejlogičtější nebo nejefektivnější způsob provedení požadovaného postupu.