Qualified Computations in Functional Logic Programming

  • Rafael Caballero
  • Mario Rodríguez-Artalejo
  • Carlos A. Romero-Díaz
Conference paper

DOI: 10.1007/978-3-642-02846-5_36

Volume 5649 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Caballero R., Rodríguez-Artalejo M., Romero-Díaz C.A. (2009) Qualified Computations in Functional Logic Programming. In: Hill P.M., Warren D.S. (eds) Logic Programming. ICLP 2009. Lecture Notes in Computer Science, vol 5649. Springer, Berlin, Heidelberg

Abstract

Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language for First-Order Functional Logic Programming with Constraints and Qualification. We present a Rewriting Logic which characterizes the intended semantics of programs, and a prototype implementation based on a semantically correct program transformation. Potential applications of the resulting language include flexible information retrieval. As a concrete illustration, we show how to write program rules to compute qualified answers for user queries concerning the books available in a given library.

Keywords

Constraints Functional Logic Programming Program Transformation Qualification Rewriting Logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Rafael Caballero
    • 1
  • Mario Rodríguez-Artalejo
    • 1
  • Carlos A. Romero-Díaz
    • 1
  1. 1.Departamento de Sistemas Informáticos y ComputaciónUniversidad Complutense Facultad de InformáticaMadridSpain