Project Details
Description
The project is concerned with development
of a methodology for logic program construction based on composition of
program schemes concievd as higher-order predicates.
of a methodology for logic program construction based on composition of
program schemes concievd as higher-order predicates.
| Status | Active |
|---|---|
| Effective start/end date | 01/01/1995 → … |
Collaborative partners
- Technical University of Denmark (lead)
- Uppsala University (Project partner)
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.