Project Details
Description
This network federates research groups active in logic programming and its extensions (concurrent, with constraints, etc.)
Acronym | COMPULOG-Net |
---|---|
Status | Finished |
Effective start/end date | 24/06/96 → 24/06/99 |
Keywords
- Prolog
- logic programming
- computational logic
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.