A Transformation-based implementation for CLP with qualification and proximity
- Caballero, R.
- Rodríguez-Artalejo, M.
- Romero-Díaz, C.A.
ISSN: 1471-0684, 1475-3081
Année de publication: 2014
Volumen: 14
Número: 1
Pages: 1-63
Type: Article
Revue:
Theory and Practice of Logic Programming