English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 DetailsSummary
  On the Completeness of Residuation

Hanus, M. (1992). On the Completeness of Residuation. In K. Apt (Ed.), Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming (pp. 192-206). Cambridge, USA: MIT Press.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AE19-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AE1A-A
Genre: Conference Paper

Files

show Files

Locators

show

Creators

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

Content

show
hide
Free keywords: -
 Abstract: Residuation is an operational mechanism for the integration of functions into logic programming languages. The residuation principle delays the evaluation of functions during the unification process until the arguments are sufficiently instantiated. This has the advantage that the deterministic nature of functions is preserved but the disadvantage of incompleteness: if the variables in a delayed function call are not instantiated by the logic program, this function can never be evaluated and some answers which are logical consequences of the program are lost. In this paper we present a method for detecting such situations. The method is based on a compile-time analysis of the program and approximates the possible residuations and instantiation states of variables during program execution.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121992
 Publication Status: Issued
 Pages: -
 Publishing info: Cambridge, USA : MIT Press
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519451
Other: Local-ID: C1256104005ECAFC-0052ED22336CAA96C125614400621F2B-Hanus92b
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Washington, D.C.
Start-/End Date: 1992

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming
Source Genre: Proceedings
 Creator(s):
Apt, Krzysztof, Editor
Affiliations:
-
Publ. Info: Cambridge, USA : MIT Press
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 192 - 206 Identifier: -