Co je logické programování?
Logické programování je typ počítačového programování, ve kterém musí programátor poskytnout 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 mohl učinit „logické“ rozhodnutí o tom, jak nejlépe reagovat na určitou situaci. Pro logické programování do práce musí programátor 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 propracování věty pro rozhodování na základě prohlášení, s nimiž se setkává v kódu programátora.
A-Prover-Prover odkazuje na počítačový program, který byl navržen tak, aby řešil matematická tvrzení známá jako věty. 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ů. Například, pokud kód uvádí, že A je roven B a B, se rovná 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ěn počítači v kódu, že A je roven C, protože počítačový program musí vyvodit tento závěr pomocí předkazů věty a programového původního kódu v kódu.
Teoreticky, pro logické programování, musí programátor pouze zajistit, aby její prohlášení byla správná a tvůrce propracování věty by měl zajistit, aby program mohl číst prohlášení a učinit co nejvíce EFNa základě nich na nich je na něm. Schopnost učinit efektivní rozhodnutí se označuje jako počítač, který funguje „logicky“. 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 podle toho provést úpravy.
Pro logické programování do práce se 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á. To coTento proces ntinuje, dokud nedosáhne logického závěru na základě informací, které jsou poskytnuty. 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.