An Oberon compiler for the Atari St. (FTP Dir)

Frequently Asked Questions about M/MUMPS

Generic functional logic language: functions defined by conditional rewrite rules, predicates defined by Horn clauses whose bodies may contain equations, disequations, or classical atomic formulae. Extant version uses extension of SLD-resolution merge...

Constraint logic programming language with the abilities of CLP(BNR) and most of those of cc(FD). Possibility to program directly in projection constraints makes Nicolog more flexible than many CLP systems. FTP site.

Constraint logic programming language that includes ideas from object-oriented programming and intelligent backtracking. Constraints include finite domain constraints (as in CHiP) and disjoint real interval domain constraints. FTP Site.

An interface between Common Lisp and X Window.

A paper by Will Clinger (1991) explaining the Scheme hygienic macro system by comparison with the Common Lisp macrology. In GZipped PostScript form.

A paper by Will Clinger (1998) which offers an implementation independent definition of proper tail recursion for Scheme. In Gzipped PostScript form.

A paper by Will Clinger (1991) which describes an alternative to the low-level macro facility described in the R4RS. The macrology is based upon the explicit renaming of identifiers.

A paper by Will Clinger and Jonathan Rees (1991) which describes a modified form of Kohlbecker's algorithm for reliably hygienic macro expansion in block-structured languages where macros are source-to-source transformations specified using a high-lev...