Logické programování

Logické programování nebo programování omezení je programovací vzor ve kterém soubor atributů že řešení by mělo mít být specifikován poněkud než soubor kroků trvat takový řešení. Široce použitý logický programovací jazyk je Prolog. Jiný, více komerční jazyk je Merkur.

Schématicky, proces je fakty + pravidla = vyplývá. Pro jiný přístup, viďte Programování induktivní logiky.

Opice a problém banánu je slavný problém studovaný ve společenství logického programování. Místo toho programátora výslovně specifikovat cestu pro opici dosáhnout banánu, počítač vlastně vyřeší možnou cestu že opice dosáhne banánu.

Světské souběžné omezení programovat (TCC) a non-deterministické světské souběžné omezení programovat (NTCC) jsou varianty programování omezení, které může dohoda s časem.

Viz též

• Declarative programovací
• Odpovědní souborové programování