Automatically assigned DDC number: 005115

Manually assigned DDC number: 005116

Number of references: 0

Title: Constraint Logic Programming in the Sequent Calculus

Author:

Author:

Subject: John Darlington,Yike Guo Constraint Logic Programming in the Sequent Calculus

Description: . In this paper, we are developing a new logical semantics of CLP. It is shown that CLP is based on an amalgamated logic embedding the entailment relation of constraints into a fragment of intuitionistic logic. Constrained SLD resolution corresponds to a complete proof search in the amalgamated logic. The framework provides not only the logical account on the definitional semantics towards CLP but also a general way to integrate constraints into various logic programming systems. 1 Introduction Constraint logic programming has recently attracted much research actively. Intuitively, constraint logic programming languages are designed by replacing unification with constraint solving over a computational domain. Therefore, logic programming can be pursued over any intended domain of discourse. Many CLP languages has been designed [JL87, Col87] and implemented [JL87, Col87]. Their computational domains include linear arithmetic[JL87], boolean algebra [KS89] and finite sets [MHS88]. Since ...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1994-01-16

Pubyear: 1994

Format: ps

Identifier: http://citeseer.ist.psu.edu/140569.html

Source: http://www.di.uminho.pt/ftp/pub/DI/Fundamentos/Papers/mirror-ImperialCollege/universities/ic-fp/Y.Guo/lpar94.ps.gz

Language: en

Rights: unrestricted