NDLI: Towards banishing the cut from Prolog

Content Provider	IEEE Xplore Digital Library
Author	Debray, S.K. Warren, D.S.
Copyright Year	1976
Abstract	Logic programs can often be inefficient. The usual solution to this problem has been to return some control to the user in the form of impure language features like cut. The authors argue 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. Two language constructs, firstof and oneof, for situations involving don't-care nondeterminism, are suggested. These constructs have better declarative readings than the cut and extend better to parallel evaluation strategies. Together, these proposals result in a system where users need rely much less on cuts for efficiency, thereby promoting a purer programming style without sacrificing efficiency.<>
Sponsorship	IEEE Computer Society Technical Council on Software Engineering Association for Computing Machinery (ACM) IEEE Computer Society
Starting Page	335
Ending Page	349
Page Count	15
File Size	1534583
File Format	PDF
ISSN	00985589
Volume Number	16
Issue Number	3
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1990-03-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Logic programming Computer science Proposals Programming profession Costs
Content Type	Text
Resource Type	Article
Subject	Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Program readability: procedures versus comments

Certification: reducing the hidden costs of poor quality

The Software Engineering of Expert Systems: Is Prolog Appropriate?

Notes on implementing sets in Prolog

Logic Programming and Prolog: A Tutorial

Learning programming in Prolog using schemata

Efficient reordering of Prolog programs

Predicate logic for software engineering

High-performance logic programming with the Aquarius Prolog compiler

Towards banishing the cut from Prolog

Similar Documents

Program readability: procedures versus comments

Certification: reducing the hidden costs of poor quality

The Software Engineering of Expert Systems: Is Prolog Appropriate?

Notes on implementing sets in Prolog

Logic Programming and Prolog: A Tutorial

Learning programming in Prolog using schemata

Efficient reordering of Prolog programs

Predicate logic for software engineering

High-performance logic programming with the Aquarius Prolog compiler

Towards banishing the cut from Prolog