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.

Preview

PDF
214Kb

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
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:	http://purl.utwente.nl/publications/56170
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page