AKL(FD)—a concurrent language for FD programming
Björn Carlson, Seif Haridi, Sverker Janson · 1994
We consider a complete implementation of an extension of the nite domain constraint system FD, including antimonotone constraints, and its integration in AKL, a deep-guard concurrent constraint language. We present the language AKL(FD), together with associated programming techniques. In particular, we show howpowerful symbolic constraints can be de ned as AKL(FD) programs, which is partly made possible by the extension of FD with a condition combinator and a proper treatment ofantimonotone constraints. The AGENTS implementation of AKL(FD) shows competetive performance in a complete programming environment.