English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  CLP(PB) - A Meta-Interpreter in CLP(R)

Barth, P.(1992). CLP(PB) - A Meta-Interpreter in CLP(R) (MPI-I-92-233). Saarbrücken: Max-Planck-Institut für Informatik.

Item is

Files

show Files
hide Files
:
MPI-I-92-233.pdf (Any fulltext), 145KB
Name:
MPI-I-92-233.pdf
Description:
-
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Barth, Peter1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: Constraint logic programming is one of the most attractive research areas in logic programming. Due to (J. Jaffar, 1987) the theoretical foundation of a general constraint logic programming language scheme CLP({{$\cal X$}}) is available. Unfortunately, implementing a CLP({{$\cal X$}}) system for some domain {$\cal X$} is a difficult task. The problematic points are providing a {\it constraint solver} and ensuring the {\it incrementality} of the constraint system. We propose here to use an existing CLP system as implementation environment for a new CLP language. We show that under certain conditions we can use the given constraint solver as constraint solver for the new CLP-language. We focus here on prototyping CLP({{$\cal PB$}}), where {$\cal PB$} denotes the structure of pseudo-Boolean functions, in CLP({{$\cal R$}}), where {$\cal R$} denotes the structures of real numbers.

Details

show
hide
Language(s): eng - English
 Dates: 1992
 Publication Status: Issued
 Pages: 18 p.
 Publishing info: Saarbrücken : Max-Planck-Institut für Informatik
 Table of Contents: -
 Rev. Type: -
 Identifiers: URI: http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/92-233
Report Nr.: MPI-I-92-233
BibTex Citekey: barth-92-mpii233
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Research Report / Max-Planck-Institut für Informatik
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -