Akl(fd) { a Concurrent Language for Fd Programming Akl(fd) { a Concurrent Language for Fd Programming

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 how powerful symbolic constraints can be deened as AKL(FD) programs, which is partly made possible by the extension of FD with a condition combinator and a proper treatment of antimonotone constraints. The AGENTS implementation of AKL(FD) shows competetive performance in a complete programming environment. Abstract 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 how powerful symbolic constraints can be deened as AKL(FD) programs, which is partly made possible by the extension of FD with a condition combinator and a proper treatment of antimonotone constraints. The AGENTS implementation of AKL(FD) shows competetive performance in a complete programming environment.