Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract).
Seif Haridi, Sverker Janson, Johan Montelius, Torkel Franzén, Per Brand, Kent Boortz, Björn Danielsson, Björn Carlson, Torbjörn Keisu, Dan Sahlin, Thomas Sjöland · 1993
) Seif Haridi Sverker Janson Johan Montelius Torkel Franz'en Per Brand Kent Boortz Bjorn Danielsson Bjorn Carlson Torbjorn Keisu Dan Sahlin Thomas Sjoland SICS, Box 1263, S-164 28 KISTA Tel +46-8-752 15 00, Fax +46-8-751 72 30 E-mail fseif, [email protected] Abstract SICS is investigating a new generation of languages for symbolic processing that are based on the paradigm of concurrent constraint programming. A wide range of pertinent topics are being studied. In particular our efforts are devoted to producing a high quality programming environment based on the Andorra Kernel Language (AKL), a general purpose concurrent constraint language. 1 Introduction Concurrent constraint programming (CCP) is a powerful paradigm for programming with constraints while being based on simple concepts [9, 11]. A set (or conjunction) of constraints, regarded as formulas in firstorder logic, forms a constraint store. A number of agents interact with the store using the two operations tell, which adds...