******************************************************* *** *** *** T h i s i s t h e A L F s y s t e m *** *** *** ******************************************************* This directory contains the implementation of the functional-logic language ALF. The distribution of the ALF system is free, but if you take the system it is assumed that you agree with the license agreement contained in file "LICENSE". It would be nice if you send us your name, institution and email address so that we can inform you about updates and other things concerning the ALF system. The file "ALF.tar.Z" contains the ALF system in compressed tar format. You have to copy this file, go to the directory where you want to install the system (e.g., "/usr/local") and then type zcat ALF.tar.Z | tar xvf - You will find an installation guide (file "install.tex" in the directory "ALF/docs") with more information. General information about the ALF system can be found in the file "info.tex" in the directory "ALF/docs". The "ALF User's Manual" is in the file "user.tex" in the directory "ALF/docs". The current version of the ALF system is executable on Sun3/Sun4 machines under SunOS 4.1.3, SunOS 5.4 (for SunOS 5.4, please read the instruction in "ALF/implementation/README"), or on PCs under Linux. The compiler is written in Prolog and the emulator for A-WAM programs is written in C. Hence you need a Prolog system (Quintus-Prolog 3.1.1, Sicstus-Prolog 2.1 (patch-level 7 or more), SWI-Prolog 2.1.2, or SB-Prolog 3.1) to compile ALF programs into A-WAM bytecode. If you do not have Quintus-, Sicstus- or SWI-Prolog on your machine available, you can also use the SB-Prolog version of the ALF compiler (but then the ALF compiler will be slower). The SB-Prolog system is public domain and can be obtained from the University of Arizona (cs.arizona.edu). If you do not have this system on your machine, you should also copy the compressed tar file "SBprolog.tar.Z". If you have any problems with the system, please mail to mh@informatik.uni-kiel.de -- Michael Hanus email: mh@informatik.uni-kiel.de, hanus@acm.org Institut fuer Informatik phone: ++49-(0)431-880-7271 or -7270 (Secr.) CAU Kiel, Olshausenstr. 40 fax: ++49-(0)431-880-7613 D-24098 Kiel, Germany URL: http://www.informatik.uni-kiel.de/~mh