Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
Implementing Constructive Intensional Negation
Year:2009
Research Areas
  • Programming language
Information
Abstract
Although negation is an active area of research in logic programming, sound and complete implementations are still absent from actual Prolog systems. One of the most promising techniques in the literature is intensional negation (IN), which follows a transformational approach: for each predicate p in a program its negative counterpart intneg(p) is generated. However, implementations of IN have not been included in Prolog environments due, in part, to the lack of details and explicit techniques, such as the treatment of universally quanti¿ed goals. In this paper, we describe a variant of IN, which we have called constructive intensional negation (CIN). Unlike earlier proposals, CIN does not resort to a dedicated resolution strategy when dealing with universally quanti¿ed formulae, which has been instrumental in having an e¿ective implementation. Therefore, pure SLD resolution is used, what enables the reuse of existing Prolog implementation technology. Among the contributions of this work we can mention not only a full implementation being tested for its integration in the Ciao Prolog system but also some formal results ensuring soundness and completeness with their associated proofs.
International
Si
JCR
Si
Title
NEW GENERATION COMPUTING
ISBN
0288-3635
Impact factor JCR
0,2
Impact info
Volume
27
10.1007/s00354-008-0053-9
Journal number
1
From page
25
To page
56
Month
ENERO
Ranking
Participants
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Juan Jose Moreno Navarro (UPM)
  • Autor: Susana Muñoz Hernandez (UPM)
Research Group, Departaments and Institutes related
  • 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 2019 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)