A Transformation-based implementation for CLP with qualification and proximity

  1. Caballero, R.
  2. Rodríguez-Artalejo, M.
  3. Romero-Díaz, C.A.
Revista:
Theory and Practice of Logic Programming

ISSN: 1471-0684 1475-3081

Año de publicación: 2014

Volumen: 14

Número: 1

Páginas: 1-63

Tipo: Artículo

DOI: 10.1017/S1471068412000014 GOOGLE SCHOLAR