Bellia, Marco; Levi, Giorgio The relation between logic and functional languages: A survey. (English) Zbl 0599.68014 J. Logic Program. 3, 217-236 (1986). Cited in 14 Documents MSC: 68N01 General topics in the theory of software Keywords:narrowing; completion; SLD-resolution of equational formulas; set abstraction; lazy evaluation; concurrency PDF BibTeX XML Cite \textit{M. Bellia} and \textit{G. Levi}, J. Log. Program. 3, 217--236 (1986; Zbl 0599.68014) Full Text: DOI