The lazy functional side of logic programming

Share/Save/Bookmark

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.

[img]
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

 

Repository Staff Only: item control page