CLAIR Links

If you are interested in CLAIR, you may want to visit the following sites.

People

• Patrick Cousot
• Gordon Plotkin
• David Schmidt

Software

• The GENTLE Compiler Construction System: this tool, besides being useful (and actually used) to produce real applications, has a great educational potential. (Thanks to Yuri Rassokhin for letting us know about GENTLE.)

Brother Projects

• CHINA: a data-flow analyzer for CLP languages.
• PPL: the Parma Polyhedra Library.
• PURRS: the Parma University's Recurrence Relation Solver.

Prolog Systems Currently Supported by CLAIR

• Ciao Prolog
• GNU Prolog
• SWI-Prolog
• SICStus Prolog
• YAP

Learning Prolog

• Learn Prolog Now!

[Page last updated on January 18, 2013, 17:41:29.]