Declarative Languages for Linux

Appeared in Volume 8/1, February 1995

d91a1bo@Minsk.meryl.csd.uu.se
Alexander Bottema
1st November 1994

Some LP and FP languages that can be used with Linux. For each language, the FTP address and file location are given before a short description.

LP Languages

• SWI-Prolog: ftp://tsx-11.mit.edu/pub/linux/sources/usr.bin/ and the files swipr-*
  Compiles Prolog source programs into WAM (Warren Abstract Machine); WAM code is interpreted by the provided engine.

• WAMCC: ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/wamcc2.21.tar.Z
  Compiles into WAM; WAM interpreter provided. Also possible to compile it further into C. (Use gcc to create stand alone executables.)

• clp_fd: ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd2.2.tar.Z
  CLP(fd), i.e. Constraint Logic Programming in Finite Domains. It is basically wamcc augmented with constraints.

• clp_b: ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp-b.tar.Z
  CLP(b), i.e. Constraint Logic Programming in the Boolean domain. Useful for problems which are naturally expressed as boolean constraints.

FP Languages

• Gofer: ftp://ftp.dcs.glasgow.ac.uk/pub/haskell/gofer/gofer230.tar.gz
  A lazy functional language. Compiles into G-code which can either be interpreted or further compiled into C; a naive translation but useful for stand alone executables.

• SML/NJ: ftp://ftp.dcs.glasgow.ac.uk/pub/linux/njsml.93.src.tar.z
  A SML (Standard Meta Language) based language. (ftp://ftp.dcs.glasgow.ac.uk/pub/linux/sml.gz = Binary distribution.)

• LML: ftp://ftp.dcs.glasgow.ac.uk/pub/linux/lml-0.999.5.tar.gz
  Lazy ML. (Binary distribution.)

• CAML: ftp://gogol.cenatls.cena.dgac.fr/pub/languages/CAML/cl6unix.tar.Z
  A (minimal) ML based language. Yacc/CAML parsing tool provided. Possible to create stand alone executables. Imperative features (exception handling and assignment via references.)