kényszerlogikai-programozás

Kapcsolódó fogalmak: 
klóz törzse
Kapcsolódó fogalmak: 
literál
Kapcsolódó fogalmak: 
logikai programozás
Rövid szöveges bemutatás: 
A kényszerlogikai-programozás a logikai programozás kiterjesztése kényszerekkel. Röviden arról van szó, hogy a különböző klózok testében különböző kényszerek is be lehetnek építve a literálok mellett. Így ennek segítségével komplexebb problémákat is le lehet írni, mint az egyszerűbb logikai programozás segítségével. Ez a módszertan az 1990-es évek vége felé fejlődött ki. Az egész program leírási és megoldási folyamata megegyezik a logikai programozással, csupán ki van egészítve kényszerek megoldásának vizsgálatával is. Bővebb leírást erről a módszerről a mellékelt weboldalon találhat.