scholarly journals Set constraints and logic programming

2005 ◽  
pp. 302-303 ◽  
Author(s):  
Dexter Kozen
Keyword(s):  
Logic Programming ◽  
Set Constraints

scholarly journals Using parametric set constraints for locating errors in CLP programs

2002 ◽  
Vol 2 (4-5) ◽  
pp. 549-610 ◽  
Author(s):  
WŁODZIMIERZ DRABENT ◽  
JAN MAŁUSZYŃSKI ◽  
PAWEŁ PIETRZAK
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming ◽  
Logic Programs ◽  
Set Constraints ◽  
Verification Conditions ◽  
Main Technique ◽  
Polymorphic Type ◽  
Correctness Of Programs

This paper introduces a framework of parametric descriptive directional types for Constraint Logic Programming (CLP). It proposes a method for locating type errors in CLP programs, and presents a prototype debugging tool. The main technique used is checking correctness of programs w.r.t. type specifications. The approach is based on a generalization of known methods for proving the correctness of logic programs to the case of parametric specifications. Set constraint techniques are used for formulating and checking verification conditions for (parametric) polymorphic type specifications. The specifications are expressed in a parametric extension of the formalism of term grammars. The soundness of the method is proved, and the prototype debugging tool supporting the proposed approach is illustrated on examples. The paper is a substantial extension of the previous work by the same authors concerning monomorphic directional types.

scholarly journals Set Constraints and Logic Programming

1998 ◽  
Vol 142 (1) ◽  
pp. 2-25 ◽  
Author(s):  
Dexter Kozen
Keyword(s):  
Logic Programming ◽  
Set Constraints

scholarly journals Set Constraints in Logic Programming

2003 ◽  
pp. 167-179 ◽  
Author(s):  
Victor W. Marek ◽  
Jeffrey B. Remmel
Keyword(s):  
Logic Programming ◽  
Set Constraints

Constraint Logic Programming Using ECLiPSe

2006 ◽  
Author(s):  
Krzysztof R. Apt ◽  
Mark Wallace
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming

QOS-Aware Composition of Enterprise System‘s Components: Constraint Logic Programming Approach

Informatica ◽  
2010 ◽  
Vol 21 (4) ◽  
pp. 487-504 ◽  
Author(s):  
Jeremy Besson ◽  
Albertas Čaplinskas
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming ◽  
Programming Approach

Logic Programming and Knowledge Base Maintenance.

1983 ◽  
Author(s):  
K. A. Bowen
Keyword(s):  
Logic Programming ◽  
Knowledge Base

Parallel Logic Programming and ZMOB

1988 ◽  
Author(s):  
Jack Minker ◽  
Mark Weiser
Keyword(s):  
Logic Programming ◽  
Parallel Logic Programming

Conceptual Modeling via Logic Programming

1990 ◽  
Author(s):  
John Burge ◽  
Bill Noah ◽  
Les Smith
Keyword(s):  
Logic Programming ◽  
Conceptual Modeling

Parallel Logic Programming Architecture

1990 ◽  
Author(s):  
William B. Day
Keyword(s):  
Logic Programming ◽  
Parallel Logic Programming
Sign in / Sign up

Export Citation Format

Share Document