Network of Excellence in Computational Logic

Project: Research

Project Details

Description

This network federates research groups active in logic programming and its extensions (concurrent, with constraints, etc.)
AcronymCOMPULOG-Net
StatusFinished
Effective start/end date24/06/9624/06/99

Keywords

  • Prolog
  • logic programming
  • computational logic