Compilative constructive negation in constraint logic programs

Bruscoli, Paola; Levi, Francesca; Levi, Giorgio; Meo, Maria Chiara

doi:10.1007/bfb0017473

Cited by 19 publications

(21 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Les réponses elles-mêmes dépendent alors de la procédure choisie pour explorer cette classe. Ainsi les SLD v -dérivations de P. Bruscoli et al [4], les SLD-CNF-dérivations de D. Chan [6] et les SLD-dérivations concurrentes par élagage de F. Fages [11] ne se correspondent pas biunivoquement, mais les réponses de chacune des procédures finissent par se retrouver par leur sémantique logique trivaluée de Kunen-Fitting. Les réponses de ces diverses sémantiques opérationnelles finissent aussi par recouvrir la classe des réponses que nous définissons, même si notre travail utilise la logique bivaluée.…”

Section: Resultsunclassified

“…En effet, notre choix pour une sémantique logique a été de privilégier la logique bivaluée classique. L'axiomatique que nous choisissons d'associer à un programme ne s'appuie pas sur la traditionnelle complétion de Clark, mais sur l'usage, aussi traditionnel ( [19], [9], [14], [15], [4], [10]), du dédoublement des prédicats. Nous utilisons cette transformation par dédoublement uniquement pour l'axiomatique déclarative T>(P) d'un programme général P (cf.…”

Section: Resultsunclassified

“…Nous utilisons cette transformation par dédoublement uniquement pour l'axiomatique déclarative T>(P) d'un programme général P (cf. Définition 4.2) et non pour modifier le programme lui-même, comme le font par exemple P. Bruscoli et al [4] pour la sémantique opérationnelle de la négation intensionnelle. Par ce biais, la construction des réponses reste donc proche de la SLD-résolution, tout comme le fait aussi F. Fages [11].…”

Section: Resultsunclassified

“…Le processus de résolution connu maintenant sous le nom de Négation Constructive a été introduit par D. Chan [5], [6] en 1988, il a rapidement trouvé un cadre naturel dans la Programmation par Contraintes avec P. J. Stuckey [20] et P. Bruscoli (and ail) [4], II s'est aussi clairement avancé pour une approche nouvelle de la concurrence avec F. Fages [11], [12]. Nous pensons que l'idée est suffisamment essentielle au principe même de la programmation déclarative pour mériter un traitement conceptuel, indépendant de son approche strictement procédurale.…”

Section: Introductionunclassified

See 3 more Smart Citations

Négation constructive et axiomatique interne

Blanc¹,

Liogier²

1997

RAIRO-Theor. Inf. Appl.

View full text Add to dashboard Cite

Section: Resultsunclassified

Section: Introductionunclassified

See 2 more Smart Citations

Négation constructive et axiomatique interne

Blanc¹,

Liogier²

1997

RAIRO-Theor. Inf. Appl.

View full text Add to dashboard Cite

“…In particular, we shall be concerned with the transformational approach initiated in [5], also known as intensional negation [26,30,7].…”

Section: Introductionmentioning

confidence: 99%

Regular search spaces and constructive negation

Momigliano

Ornaghi

1997

Journal of Logic and Computation

View full text Add to dashboard Cite

The aim of this paper is to show the fruitfulness and fecundity of the authors' proof-theoretic analysis of logic programming (both for definite and normal programs). It is based on a simple logical framework that goes under the name of regular search spaces. The challenge faced here is to give a treatment in proof-theoretic terms of the issue of negation, which has been one of the toughest problems that has plagued logic programming from its very beginning. While negation-as-failure (NF) has been overwhelmingly the more widespread answer, its intrinsic limitations have made it a rather unsatisfactory solution. In the present paper it is first contended that the notion of regularity offers a better understanding of the traditional theory of NF, and second a firm yet very simple and natural basis for a form of constructive negation, in the sense of Chan, Stuckey and Harland. A version of constructive negation is presented, based on the notion of regular splitting, a transformation technique where the failure axiom(s) of a predicate occurring negatively in a program are split into new clauses according to a covering of the underlying signature.

show abstract

An Algorithm for Local Variable Elimination in Normal Logic Programs

Àlvez

Lucio

2006

Logic Based Program Synthesis and Transformation

View full text Add to dashboard Cite

Abstract.A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as negation, compilation, memoization, static analysis, program approximation by neural networks etc. As a consequence, the absence of local variables yields better performance of several tools and is a prerequisite for many technical results. In this paper, we introduce an algorithm that eliminates local variables from a wide proper subclass of normal logic programs. The proposed transformation preserves the Clark-Kunen semantics for normal logic programs.

show abstract

Compilative constructive negation in constraint logic programs

Cited by 19 publications

References 12 publications

Négation constructive et axiomatique interne

Négation constructive et axiomatique interne

Regular search spaces and constructive negation

An Algorithm for Local Variable Elimination in Normal Logic Programs

Contact Info

Product

Resources

About