COMPULOG, SICS

ESPRIT Network of Excellence in Computational Logic

This page contains information for the SICS node of the Compulog NOE.

Other links: IFCoLog, Oxford Compulog page, logic programming, SICS European Programmes.
Conferences: ICLP, ISLP, many DBLP conferences

Some swedish companies (SME) with connection to SICS, make use of or develop CL-technology or related language technology, e.g. Industrilogik, Prover Technology (formerly Logikkonsult NP), Carlstedt Research and Technology, Tacton Systems AB, Erlang Systems (a subsisdiary of Ericsson).

Below is the documentation for (broadly) COMPULOG related activities provided bySICS.

Areas: Programming Languages, Constraint Logic Programming, Parallelism and Implementation Technology, Program Development, Knowledge Representation and Reasoning.

Nodes in COMPULOG with which SICS has (or recently had) cooperation: ARIAI, CS-Pisa, TU-Madrid (UPM), RISC-Linz, IQSOFT, DFKI- MPI- Uni-Saarbrücken, Prologia-Univ de Marseille, Leuven, INRIA-Paris, KTH-IT-Stockholm, KTH/SU-DSV-Stockholm, Högskolan Karlskrona-Ronneby, IDA-Linköping, CSD-Uppsala, and DOCS-Uppsala.

Description of Research

Programming Languages

SICStus Prolog is our popular Prolog development system with over 500 site licenses. It offers full standard Prolog and a number of powerful extensions.

SICStus Prolog contains the embedded object oriented language SICStus Objects and the logic programming language GCLA as well as a number of constraint solvers. GCLA is based on the theory of partial inductive definitions and it formed part of the ESPRIT working group GENTZEN.

We designed and implemented AKL, which combines logical expressiveness with process communication, based on the theory of concurrent constraints. The work, performed mainly within the ESPRIT projects ACCLAIM and ParForce, has led to a sequential implementation. Four thesis works were produced (partly) as a result of this cooperation, Sverker Jansson's "AKL- A Multiparadigm Language", Johan Montelius's work on a parallel implementation of AKL, Torbjörn Keisu's work on "Tree Constraints" and Björn Carlsson's "Compiling and evaluating Finite Domain Constraints". Still in the pipe are works on compile time analysis (Sjöland) and highly efficient compilation techniques (Brand) for AKL

mOzart is a distributed implementation of Oz that provides network transparency and mobile objects. The system is done in collaboration with DFKI and the university of Louvain La Neuve.

We also cooperated with the Programming systems group of the University in Saarbrücken around the design and development of the earlier version Oz 2.0.

Program Development

SICStus Prolog is used for research on natural language systems and other applications. Associated to SICStus Prolog is the partial evaluator Mixtus.

The Oz language is also used for program development. Application projects using Oz are in progress within DSL and ISL.

Constraint (Logic) Programming

We develop algorithms for solving constraint problems over various domains (finite, rational trees, real numbers). These solvers are incorporated into SICStus Prolog and tested on real world problems.

The Oz language is also used for constraint programming. Application projects using Oz where constraints play a major role, e.g. in concurrent planning, scheduling and optimization, are handled by ISL.

Parallelism and Implementation Technology (central link)

In the research on parallelism within the framework of some ESPRIT II projects, and the transatlantic cooperation ``gigalips'', the AURORA and MUSE systems for or-parallel execution of Prolog have been developed.

The research efforts in a thesis work by Montelius were directed into efficient parallelisation of the AKL language.

Knowledge Representation and Reasoning

The CommonKADS methodology was developed in an ESPRIT project, where SICS worked on the library of reusable problem solving methods. Knowledge representation and reasoning for configuration tasks is an active area of research.

Work has been done on ft, a theorem prover for intuitionistic predicate logic.

Bibliography:

(not updated for a while)

Check also SICS' Software and Reports Archive.

Per Brand and Thomas Sjöland. A Domain Independent Framework for the Analysis of AKL.Extended Abstract in Fifth Compulog Network Area Meeting on Language Design and Analysis Methods, Aachen, Germany. Giorgio Levi and Maurizio Gabrielli (eds.). Università di Pisa, 1996. Slides.
M. Carlsson. A BDD-based Approach to Multiple-level Combinational Logic Synthesis", in Proc. of the Practical Application of Prolog Conference, London, 1992.
M. Grindal and M. Carlsson. Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. In Proc. of the Tenth International Conference on Logic Programming MIT Press, 1993.
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. Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract). 107-116, Postscript. In Int. Workshop on Practice and Principles of Constraint Programming, PPCP'93.
S. Janson and S. Haridi. Programming paradigms of the Andorra Kernel Language. In Logic Programming: Proc. of the 1991 International Symposium., MIT Press.
Per Kreuger, GCLA II: A Definitional Approach to Control. in L.-H. Eriksson, L. Hallnäs and P. Schroeder-Heister (eds.). Extensions of Logic Programming - ELP '91, Lecture Notes in Artificial Intelligence 596, Springer-Verlag.
Dan Sahlin, Torkel Franzén and Seif Haridi. An Intuitionistic Predicate Logic Theorem Prover. in Journal of Logic and Computation, Vol. 2, No. 5, pp 619-656, 1992.
Dan Sahlin and Thomas Sjöland. Towards Abstract Interpretation of AKL, (extended abstract). In Workshop on Concurrent Constraint Programming,ICLP'93 Budapest Hungary, Ed. G. Smolka.
Dan Sahlin and Thomas Sjöland. Static Analysis of AKL. Demonstration and poster session in Workshop on Static Analysis. Poster description in Proc. of the WSA'93, Padova Italy, 1993,Ed. M. Falaschi.
Dan Sahlin and Thomas Sjöland, Fixpoint Analysis of Types and Alias in AKL Programs. SICS report R94/13b. (final update 950628)
Thomas Sjöland, Dan Sahlin and Per Brand. An Analyser for a Concurrent Constraint Language. (poster)
Abstract in Proc. of the ICLP'95, Japan, Ed. L. Sterling.
Thomas Sjöland. Using SICStus Objects in the Design of Graphical User Interfaces, (original .doc-format).
In L. Fahlén and K.-M. Jää-Aro, editors, Proceedings of the 5th MultiG Workshop, Royal Institute of Technology, Stockholm, 1992. Also available as SICS Research Report R1992:10, (compressed postscript).

Last modified: Friday, 20-Jun-2003 09:21:24 CEST