The lazy functional side of logic programming

Sandro Etalle, K.K. Lau (Editor), Jon Mountjoy

    Research output: Contribution to conferencePaperAcademicpeer-review

    14 Downloads (Pure)

    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 languageUndefined
    Number of pages9
    Publication statusPublished - Jul 2000
    EventExtended Abstracts 10th Int. Workshop on Logic-based Program Synthesis and Transformation (LOPSTR) - Imperial College, London
    Duration: 1 Jul 20001 Jul 2000

    Workshop

    WorkshopExtended Abstracts 10th Int. Workshop on Logic-based Program Synthesis and Transformation (LOPSTR)
    Period1/07/001/07/00
    OtherJul. 2000

    Keywords

    • EWI-986
    • IR-56170

    Cite this