Constraint Unification Prolog (CUP) developed by the Institute for New Generation Computer Technology (ICOT), Japan. Originally written in C under Unix, MacCup is for Macintosh, DJCup for MS-DOS, with both implementations released as free software.
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]