Caballero, R.; Rodríguez-Artalejo, M.; Romero-Díaz, C. A. A transformation-based implementation for CLP with qualification and proximity. (English) Zbl 1295.68057 Theory Pract. Log. Program. 14, No. 1, 1-63 (2014). Reviewer: Antonín Říha (Praha) MSC: 68N17 PDFBibTeX XMLCite \textit{R. Caballero} et al., Theory Pract. Log. Program. 14, No. 1, 1--63 (2014; Zbl 1295.68057) Full Text: DOI arXiv
Rodríguez-Artalejo, Mario; Romero-Díaz, Carlos A. A declarative semantics for CLP with qualification and proximity. (English) Zbl 1209.68097 Theory Pract. Log. Program. 10, No. 4-6, 627-642 (2010). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{M. Rodríguez-Artalejo} and \textit{C. A. Romero-Díaz}, Theory Pract. Log. Program. 10, No. 4--6, 627--642 (2010; Zbl 1209.68097) Full Text: DOI arXiv
Estévez-Martín, S.; Hortalá-González, T.; Rodríguez-Artalejo, M.; del Vado-Vírseda, R.; Sáenz-Pérez, F.; Fernández, Antonio J. On the cooperation of the constraint domains \(\mathcal H ,\mathcal R\), and \(\mathcal {FD}\) in CFLP. (English) Zbl 1177.68040 Theory Pract. Log. Program. 9, No. 4, 415-527 (2009). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{S. Estévez-Martín} et al., Theory Pract. Log. Program. 9, No. 4, 415--527 (2009; Zbl 1177.68040) Full Text: DOI
Leach, Javier; Nieva, Susana; Rodríguez-Artalejo, Mario Constraint logic programming with hereditary Harrop formulas. (English) Zbl 1091.68522 Theory Pract. Log. Program. 1, No. 4, 409-445 (2001). MSC: 68N17 68T20 PDFBibTeX XMLCite \textit{J. Leach} et al., Theory Pract. Log. Program. 1, No. 4, 409--445 (2001; Zbl 1091.68522) Full Text: DOI
Arenas-Sánchez, Puri; Rodríguez-Artalejo, Mario A general framework for lazy functional logic programming with algebraic polymorphic types. (English) Zbl 1066.68511 Theory Pract. Log. Program. 1, No. 2, 185-245 (2001). MSC: 68N17 PDFBibTeX XMLCite \textit{P. Arenas-Sánchez} and \textit{M. Rodríguez-Artalejo}, Theory Pract. Log. Program. 1, No. 2, 185--245 (2001; Zbl 1066.68511)