Logic Programming Systems @ IDA


SICStus Prolog

SICStus Prolog is a Prolog system developed by the Swedish Institute of Computer Science (SICS). The language is more or less ISO conforming and the system is one of the most widely used. Several libraries (including constraints over reals, rationals, Booleans and finite domains) are available. To run the system make sure that you have loaded the module prog/sicstus. Start the system by the command sicstus.

There is an Emacs interface available. To use it, insert the following into your .emacs-file (and use extension "pl" for Prolog source files):

    (set-variable 'load-path 
        (cons "/home/logpro/emacs" load-path))
    (autoload 'run-prolog "prolog"
        "Start a Prolog sub-process." t)
    (autoload 'prolog-mode "prolog" 
        "Major mode for editing Prolog programs." t)
    (setq prolog-system 'prolog)
    (setq auto-mode-alist 
        (cons '("\\.pl$" . prolog-mode) auto-mode-alist))

Documentation is available in HTML, postscript and PDF. There is also a frame based version. Hardcopies are available from LOGPRO. The system runs on several platforms (Mac, Windows, Solaris and Linux/Intel) and IDA has a site license.


XSB Prolog

XSB is an experimental Prolog system developed at SUNY, Stony Brook. The main feature of the system is that the underlying engine uses tabulation (memoization, lemmas, caching), making the system less prone to non-termination than Prolog. The system is particularly useful for in-memory databases.

To start the system, give the command /home/logpro/bin/xsb -i.

Documentation is available in HTML and postscript. Hardcopies are available from LOGPRO.


CHIP

CHIP (Constraint Handling in Prolog) is a Prolog-like system with constraint solving over three domains: finite domains (of integers), rationals (with linear terms) and Booleans. CHIP is also augmented with a delay control mechanism. The global constraints are particularly useful for various scheduling and optimization problems.

CHIP was originally developed at ECRC in Munich. The current version (V.5.2.1) is developed by COSYTEC

The CHIP system is only licensed to the machine petfrix. To run CHIP from your local machine, write the following:

    ssh petfrix

    module add prog/chip/5.2.1
    chip5
There is an emacs-interface which is automatically started if you add the following to your .emacs-file and use the extensions "chp" or "chip" for CHIP-files.

Online manuals are available locally. Sample programs are available in the system.


ECLIPSE

Still in preparation!


MOZART/OZ

Oz is a multi-paradigm language that is designed for advanced, concurrent, networked, soft real-time, and reactive applications. Oz provides the salient features of object-oriented programming including state, abstract data types, objects, classes, and inheritance. It provides the salient features of functional programming including compositional syntax, first-class procedures/functions, and lexical scoping. It provides the salient features of logic programming and constraint programming including logic variables, constraints, disjunction constructs, and programmable search mechanisms. It allows users to dynamically create any number of sequential threads. The threads are dataflow threads in the sense that a thread executing an operation will suspend until all operands needed have a well-defined value. Mozart is the programming system that accompanies Oz. To run the system under Unix write:
    module add /home/logpro/modules/prog/mozart
    oz
Documentation is available locally. For the latest information, check out www.mozart-oz.org.


3 Feb 1999, Ulf Nilsson