Korlátozott Logikai Absztrakt Gép (CLAM)

Kapcsolódó fogalmak: 
CLP(R) rendszer
Kapcsolódó fogalmak: 
Warren Absztrakt Gép (WAM)
Rövid szöveges bemutatás: 
A korlátozott logikai programozás területén az 1980-as éve végétől végzett kutatást Jaffar. Több rendszert is alkotott társaival bizonyítandó, hogy az elmélet megállja a helyét, ilyen volt a CLP(R) és a CLAM (Constraint Logic Arithmetic Machine). A CLAM-t 1992-ben alkotta meg, melyben általánosította a WAM-t. Célja a korábban alkotott rendszerének a CLRP(R) megvalósításának hiányosságának kiszűrése és specializálása. A WAM-ból örökölt Prolog nyelv továbbfejlesztését célozta olyan szempontból, hogy képes legyen aritmetikai számítások elvégzésére és függőségek leírására. A rendszer képes volt a globális programanalízisből származó információk hatékony kezelésére.