The GENTLE Compiler Construction System

gentle.compilertools.net

43 pointsi_don_t_know2 comments

This is somewhat related to these recent submissions:

I don't know if the GENTLE system is actually implemented in Prolog or if it's just using an input language based on Horn clauses.

The language for specifying computation in GENTLE is similar to a shallow backtracking version of Prolog. The language is translated directly into C.