The lazy functional side of logic programming

Sandro Etalle, Jon Mountjoy

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    34 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 languageEnglish
    Title of host publicationLOPSTR 2000
    Subtitle of host publicationExtended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, July 2000, Imperial College London
    EditorsKung-Kiu Lau
    Place of PublicationManchester, UK
    PublisherUniversity of Manchester
    Number of pages9
    Publication statusPublished - Jul 2000
    Event10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000 - Imperial College London, London, United Kingdom
    Duration: 24 Jul 200028 Jul 2000
    Conference number: 10

    Publication series

    NameThe University of Manchester Consulting Society
    PublisherUniversity of Manchester
    VolumeUMCS-00-6-1

    Workshop

    Workshop10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000
    Abbreviated titleLOPSTR
    Country/TerritoryUnited Kingdom
    CityLondon
    Period24/07/0028/07/00

    Fingerprint

    Dive into the research topics of 'The lazy functional side of logic programming'. Together they form a unique fingerprint.

    Cite this