Vi visar att en enkel samtidig beskärningsmekanism över standard SLD härledning träd, kallas konstruktiv negation genom beskärning, ger en komplett operativ semantik för normala begränsningar logik program (CLP) w.r.t. Fäst-Kunens 3-värderade logiksemantik. Principen om samtidig beskärning är det enda extra maskineri som behövs för att hantera negation, särskilt det finns inget behov av att överväga komplexa delmål med explicita quanti ers utanför begränsningsdelen. Det huvudsakliga resultatet av dokumentet är en definition av en xpoint semantik för normala CLP-program som är helt abstrakt för observation av beräknade svar begränsningar. Detta gör det möjligt att generalisera s-semantik tillvägagångssätt till normala CLP-program, och ger en xpoint karakterisering av Kunen semantik. De nition är baserad på en icke-jordisk kontinuerlig nitary version av Fittings operatör. Vi relaterar också dessa resultat till en viktig aspekt av CLP programmering: optimering. Vi undersöker olika former av måloptimering inom CLP-språk, och tillhandahåller en deklarativ semantik för dem via en översättning till normala CLP-program. Vi visar att konstruktiv negation genom beskärning specialiserar sig för dessa klasser av program till en mer eektiv samtidig gren och bunden liknande förfarande.
Fages föreslår en enkel samtidig beskärning mekanism över standard SLD härledning träd för konstruktiv negation i begränsning logik program REF.
Constructive Negation by Pruning
{'venue': 'J. Log. Program.', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}