Relating logic programs and attribute grammars

Pierre Deransart, Jan Małuszynski
1985 The Journal of Logic Programming  
D 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
more » ... be run without employing unification in its general form.
doi:10.1016/0743-1066(85)90015-9 fatcat:y27xqktfq5g5hmrmsgdmlk5exe