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

IDA Technical Reports: abstract

Generated: Sun, 23 Apr 2017 15:56:49

Deransart, P. and Maluszynski, J. (1985). RELATING LOGIC PROGRAMS AND ATTRIBUTE GRAMMARS (Revised version). Technical Report LiTH-IDA-R-85-08, Department of Computer and Information Science, Linköping University, Sweden. Revised version (LiTH-IDA-R.84-07) Also in Journal of Logic Programming. (bibtex),

Abstract: This paper shows that logic programs and attribute grammars are closely related. Constructions are given which transform logic programs into semantically equivalent attribute grammars, and vice versa. This opens for application in logic programming of some methods developed for attribute grammars. These results are used to find a sufficient condition under which no infinite term can be created during a computation of a logic program, and to define a nontrivial class of logic programs which can be run without employing unification in its general form.

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