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 ...
Original language | Undefined |
---|---|
Number of pages | 9 |
Publication status | Published - Jul 2000 |
Event | Extended Abstracts 10th Int. Workshop on Logic-based Program Synthesis and Transformation (LOPSTR) - Imperial College, London Duration: 1 Jul 2000 → 1 Jul 2000 |
Workshop
Workshop | Extended Abstracts 10th Int. Workshop on Logic-based Program Synthesis and Transformation (LOPSTR) |
---|---|
Period | 1/07/00 → 1/07/00 |
Other | Jul. 2000 |
Keywords
- EWI-986
- IR-56170