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.

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...

Frequently Asked Questions about M/MUMPS

Oberon-to-C translator; free downloads that can be used to create demo programs that identify themselves as such when started from Unix shells. [commercial]

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

Frequently asked questions about Objective-C.

Includes a collection of documents about Perl.

An older (it's not Perl 5!) Perl 4 port.

What they are, history, free versions online, platforms, and comments.