Automatically assigned DDC number: 005115

Manually assigned DDC number: 005116

Number of references: 0

Title: Constraint Logic Programming in the Sequent Calculus



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



Language: en

Rights: unrestricted


<?xml   version="1.0"   encoding="UTF-8"?>


      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Constraint   Logic   Programming   in   the   Sequent   Calculus">

            <identifier   Org="ISBN:0262631806"   Paper_ID="SELF"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:0387582169"   Paper_ID="SELF"   Extracted="0387582169"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="SELF"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />