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

Graph

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

<references_metadata>

      <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"   />

      </rec>

</references_metadata>

www.000webhost.com