The lazy functional side of logic programming


Etalle, Sandro and Mountjoy, Jon (2000) The lazy functional side of logic programming. In: 10th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2000, July 24-28, 2000, London, UK.

open access
Abstract:In this paper we show, among other things, that logical structures such as di erence lists have a natural counterpart in lazy functional programs; i.e. that most programs using di erence-lists are functional in nature. This shows immediately that many common non-well-moded programs are functional in nature and that well-modedness is thus not a necessary attribute of those logic programs behaving functionally. We do this by employing a straightforward { literal { translation of moded logic programs ... [brace not closed]
Item Type:Conference or Workshop Item
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page