IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Tue, 27 Jun 2017 08:58:02

Boye, J., Paakki, J., and Maluszynski, J. (1993). Dependency-Based Groundness Analysis of Functional Logic Programs. Technical Report LiTH-IDA-R-93-20, Department of Computer and Information Science, Linköping University, Sweden. A short version accepted to PLILP'93 under the title Avoiding dynamic delays in functional logic programs, Tallinn, Estonia, August 26-28, 1993. (bibtex),

Abstract: Many Prolog systems offer the facility of calling external functions written in non-logic programming languages. A basic requirement is often that the arguments of the functions must be ground at invocation time, otherwise an error is reported, or the call is delayed until the arguments are sufficiently instantiated. The drawback of the latter method is twofold: (1) the arguments might never be instantiated, and (2) the dynamic checks used by the delaying mechanism are expensive. This paper presents a method, which for a given program identifies a class of atomic goals for which (1) will not occur. Moreover, we describe a method for transforming a program into an equivalent program, for which dynamic delays are avoided.

Goto (at Linköping University): CS Dept TR Overview