TOWARDS BANISHING THE CUT FROM PROLOG.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

The author considers the use of the 'cut' language feature in logic programming to provide greater efficiency by returning some control to the user. He argues that it is not necessary to resort to such impure features for efficiency. This point is illustrated by considering how most of the common uses of cut can be eliminated from Prolog source programs, relying on static analysis to generate them at compile time. Three common situations where the cut is used are considered. Static analysis techniques are given to detect such situations, and applicable program transformations are described. The author also proposes new language constructs, 'firstof' and 'oneof,' for situations involving 'don't care' nondeterminism. These constructs have better declarative readings than the cut and extend better to parallel evaluation strategies.

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
PublisherIEEE
Pages2-12
Number of pages11
ISBN (Print)0818607416
StatePublished - 1986
Externally publishedYes

Fingerprint

Static analysis
Logic programming

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Debray, S. K. (1986). TOWARDS BANISHING THE CUT FROM PROLOG. In Unknown Host Publication Title (pp. 2-12). IEEE.

TOWARDS BANISHING THE CUT FROM PROLOG. / Debray, Saumya K.

Unknown Host Publication Title. IEEE, 1986. p. 2-12.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Debray, SK 1986, TOWARDS BANISHING THE CUT FROM PROLOG. in Unknown Host Publication Title. IEEE, pp. 2-12.
Debray SK. TOWARDS BANISHING THE CUT FROM PROLOG. In Unknown Host Publication Title. IEEE. 1986. p. 2-12
Debray, Saumya K. / TOWARDS BANISHING THE CUT FROM PROLOG. Unknown Host Publication Title. IEEE, 1986. pp. 2-12
@inproceedings{4daf34306c604a8c93030cf43e2e73ed,
title = "TOWARDS BANISHING THE CUT FROM PROLOG.",
abstract = "The author considers the use of the 'cut' language feature in logic programming to provide greater efficiency by returning some control to the user. He argues that it is not necessary to resort to such impure features for efficiency. This point is illustrated by considering how most of the common uses of cut can be eliminated from Prolog source programs, relying on static analysis to generate them at compile time. Three common situations where the cut is used are considered. Static analysis techniques are given to detect such situations, and applicable program transformations are described. The author also proposes new language constructs, 'firstof' and 'oneof,' for situations involving 'don't care' nondeterminism. These constructs have better declarative readings than the cut and extend better to parallel evaluation strategies.",
author = "Debray, {Saumya K}",
year = "1986",
language = "English (US)",
isbn = "0818607416",
pages = "2--12",
booktitle = "Unknown Host Publication Title",
publisher = "IEEE",

}

TY - GEN

T1 - TOWARDS BANISHING THE CUT FROM PROLOG.

AU - Debray, Saumya K

PY - 1986

Y1 - 1986

N2 - The author considers the use of the 'cut' language feature in logic programming to provide greater efficiency by returning some control to the user. He argues that it is not necessary to resort to such impure features for efficiency. This point is illustrated by considering how most of the common uses of cut can be eliminated from Prolog source programs, relying on static analysis to generate them at compile time. Three common situations where the cut is used are considered. Static analysis techniques are given to detect such situations, and applicable program transformations are described. The author also proposes new language constructs, 'firstof' and 'oneof,' for situations involving 'don't care' nondeterminism. These constructs have better declarative readings than the cut and extend better to parallel evaluation strategies.

AB - The author considers the use of the 'cut' language feature in logic programming to provide greater efficiency by returning some control to the user. He argues that it is not necessary to resort to such impure features for efficiency. This point is illustrated by considering how most of the common uses of cut can be eliminated from Prolog source programs, relying on static analysis to generate them at compile time. Three common situations where the cut is used are considered. Static analysis techniques are given to detect such situations, and applicable program transformations are described. The author also proposes new language constructs, 'firstof' and 'oneof,' for situations involving 'don't care' nondeterminism. These constructs have better declarative readings than the cut and extend better to parallel evaluation strategies.

UR - http://www.scopus.com/inward/record.url?scp=0022861851&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0022861851&partnerID=8YFLogxK

M3 - Conference contribution

SN - 0818607416

SP - 2

EP - 12

BT - Unknown Host Publication Title

PB - IEEE

ER -