The lazy functional side of logic programming

Sandro Etalle; K.K. Lau; Jon Mountjoy

The lazy functional side of logic programming

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

Research output: Contribution to conference › Paper › peer-review

27 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 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

Access to Document

etalle00lazy

ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1.html

Cite this

@conference{93f3ceb4a2814703861e05fd751d6f81,

title = "The lazy functional side of logic programming",

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 ...",

keywords = "EWI-986, IR-56170",

author = "Sandro Etalle and K.K. Lau and Jon Mountjoy",

note = "Imported from DIES; Extended Abstracts 10th Int. Workshop on Logic-based Program Synthesis and Transformation (LOPSTR) ; Conference date: 01-07-2000 Through 01-07-2000",

year = "2000",

month = jul,

language = "Undefined",

}

TY - CONF

T1 - The lazy functional side of logic programming

AU - Etalle, Sandro

AU - Mountjoy, Jon

A2 - Lau, K.K.

N1 - Imported from DIES

PY - 2000/7

Y1 - 2000/7

N2 - 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 ...

AB - 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 ...

KW - EWI-986

KW - IR-56170

M3 - Paper

T2 - Extended Abstracts 10th Int. Workshop on Logic-based Program Synthesis and Transformation (LOPSTR)

Y2 - 1 July 2000 through 1 July 2000

ER -