Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
First-order Unification Using Variable-free Relational Algebra
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
We present a new framework for the representation and resolution of first-order unification problems and their abstract syntax in a variable-free relational formalism which is a variant of Tarski-Givant relational algebra and Freyd’s allegories restricted to the fragment necessary to compile and execute logic programs. A decision procedure for validity of relational terms is developed, which corresponds to solving the original unification problem. The decision procedure is presented as a conditional relational-term rewriting system. A more efficient version can be obtained by tailoring certain rewriting mechanisms. There are advantages over classical unification approaches. First, inconvenient and underspecified meta-logical procedures (name clashes, substitution, etc) are captured algebraically within the framework. Second, interesting algebraic properties usually living in the meta-level spring up. Third, other unification problems are seamlessly accommodated, for instance, unification for terms with a variable-restriction operator.
Internacional
Si
Nombre congreso
22nd International Workshop on Unification(UNIF'08)
Tipo de participación
960
Lugar del congreso
Hagenberg, Austria
Revisores
Si
ISBN o ISSN
DOI
Fecha inicio congreso
18/07/2008
Fecha fin congreso
18/07/2008
Desde la página
0
Hasta la página
0
Título de las actas
Proceedings of the 22nd International Workshop on Unification (UNIF'08)
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Pablo Nogueira Iglesias (UPM)
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Emilio Jesús Gallego Arias (UPM)
  • Autor: James Lipton . (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)