Title: ECLiPSe: The ECRC Constraint Logic Parallel System
Description: Compiler-oriented development environment for constraint-logic applications with extended Prolog technology, persistent knowledgebase, constraint-handling facilities and parallelism. Runs on Unix/Linux, beta version for Windows 9x/NT/2000.