| cons-sys.clp | - | constraint management |
| cont-sys.clp | - | task control |
| deb-sys.clp | - | debugging functions |
| inic-sys.clp | - | implicit initialization |
| relx-sys.clp | - | constraint relaxation (system part) |
| comp-dom.clp | - | component definitions |
| cons-dom.clp | - | constraint definitions |
| inic-dom.clp | - | parameter initialization |
| mode-dom.clp | - | parameter definitions |
| modi-dom.clp | - | domain knowledge for the task change |
| opti-dom.clp | - | domain knowledge for the task optimize |
| rela-dom.clp | - | relations and supporting functions |
| relx-dom.clp | - | domain knowledge for the task relax |
| solu-dom.clp | - | domain knowledge for the test forsolution existence |