article

Free access

An environment for logic programming

Authors:

Shalom TsurAuthors Info & Claims

ACM SIGPLAN Notices, Volume 20, Issue 7

Pages 179 - 190

https://doi.org/10.1145/17919.806839

Published: 25 June 1985 Publication History

PDF eReader

Abstract

We describe a programming environment for Prolog, a common logic programming language. The services offered by our system assist a Prolog user in the tasks of composing, editing, and storing logic (rule-based) programs, as well as in the control of their execution for debugging purposes.

In order to facilitate effective debugging of Prolog programs, we propose a new model of computation that can handle both pure Prolog and impure (side-effect causing) Prolog operations quite gracefully. This model employs two stacks representing the state of a computation with respect to the two major activities of Prolog execution: recursion and backtracking. This representation, in addition to being quite clear and intuitive, is easy to display on a terminal's screen and can be further processed.

We also describe a Prolog oriented editor with which the user may easily create and update Prolog source programs and, further, inspect states of computation as generated by the debugger.

References

[1]

Alberga, C. N., A. L. Brown, G. B. Leeman, Jr., M. Mikelsons, M. N. Wegman, "A Program Development Tool", IBM Journal of Research and Development, 28, 1 (January 1984), pp. 60-73.

Digital Library

Google Scholar

[2]

Allison, Lloyd, "Syntax Directed Program Editing", Software-Practice and Experience, 13, (1983), pp. 453-465.

Crossref

Google Scholar

[3]

Clocksin, W. F., and C. S. Mellish, Programming in Prolog, Springer Verlag, 1981.

Digital Library

Google Scholar

[4]

Delisle, N. M., D. E. Menikosy, and M. D. Schwartz, "Viewing a Programming Environment as a Single Tool", Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Peter Henderson, Ed., Pittsburgh. PA, April 1984.

Digital Library

Google Scholar

[5]

Francez, N., B. Klebanski, and A. Pnueli, "Backtracking in Recursive Computations", Acta Informatica, 8 (1977), pp. 125-144.

Crossref

Google Scholar

[6]

Hammond, P., and M. Sergot, APES: Augmented Prolog for Expert Systems, Reference Manual (micro-Prolog version), July 1984.

Google Scholar

[7]

Horgan, J. R., and D. J. Moore, "Techniques for Improving Language Based Editors", Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Peter Henderson, Ed., Pittsburgh, PA, April 1984.

Digital Library

Google Scholar

[8]

McCabe, F. G., K. L. Clark, and B. D. Steel, micro-Prolog 3.1 Programmer's Reference Manual (CP/M and MSDOS Versions), Fourth Edition, March 1984.

Google Scholar

[9]

Pereira, L. M., and A. Porto, "Selective Backtracking", in Logic Programming (K. L. Clark and S.-A. Tarnlund, editors), Academic Press, New York, 1982, pp. 107-114.

Google Scholar

[10]

Teitelbaum, T., and T. Reps, "A Syntax-directed Programming Environment", Communications of the ACM, 24, 9 (September 1981), pp. 563-573.

Digital Library

Google Scholar

[11]

Weinreb, D., and D. Moon, Lisp Machine Manual (third edition), MIT AI Laboratory, 1982.

Digital Library

Google Scholar

[12]

Zelkovitz, M. V., "A Small Contribution to Editing with a Syntax Directed Editor", Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Peter Henderson, Ed., Pittsburgh, PA, April 1984.

Digital Library

Google Scholar

Cited By

View all

Findler RClements JFlanagan CFlatt MKrishnamurthi SSteckler PFelleisen M(2018)DrScheme: a programming environment for SchemeJournal of Functional Programming10.1017/S095679680100420812:2(159-182)Online publication date: 24-Dec-2018
https://dl.acm.org/doi/10.1017/S0956796801004208
Schleiermacher AWinkler J(2006)The implementation of Pro Test: A Prolog debugger for a refined box modelSoftware: Practice and Experience10.1002/spe.438020100320:10(985-1006)Online publication date: 30-Oct-2006
https://doi.org/10.1002/spe.4380201003
Findler RFlanagan CFlatt MKrishnamurthi SFelleisen M(2005)DrScheme: A pedagogic programming environment for schemeProgramming Languages: Implementations, Logics, and Programs10.1007/BFb0033856(369-388)Online publication date: 21-Jun-2005
https://doi.org/10.1007/BFb0033856
Show More Cited By

Index Terms

An environment for logic programming

Recommendations

An environment for logic programming
SLIPE '85: Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments

We describe a programming environment for Prolog, a common logic programming language. The services offered by our system assist a Prolog user in the tasks of composing, editing, and storing logic (rule-based) programs, as well as in the control of ...
Linear and temporal logic programming language
ACS'06: Proceedings of the 6th WSEAS international conference on Applied computer science

Recent logic calculi open new possibilities for logic programming. Apparently the most important of them is a linear logic which makes possible to solve problems by resources treatment. The linear logic has already been used for several proposals of ...
Nonclausal logic programming

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 20, Issue 7

July 1985

251 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/17919

Editor:
Richard L. Wexelblat

Issue’s Table of Contents

SLIPE '85: Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
June 1985
257 pages
ISBN:0897911652
DOI:10.1145/800225
Chairmen:
Teri Payton,
L. Peter Deutsch,
Editor:
James Purtilo

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 June 1985

Published in SIGPLAN Volume 20, Issue 7

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
458
Total Downloads

Downloads (Last 12 months)68
Downloads (Last 6 weeks)15

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Findler RClements JFlanagan CFlatt MKrishnamurthi SSteckler PFelleisen M(2018)DrScheme: a programming environment for SchemeJournal of Functional Programming10.1017/S095679680100420812:2(159-182)Online publication date: 24-Dec-2018
https://dl.acm.org/doi/10.1017/S0956796801004208
Schleiermacher AWinkler J(2006)The implementation of Pro Test: A Prolog debugger for a refined box modelSoftware: Practice and Experience10.1002/spe.438020100320:10(985-1006)Online publication date: 30-Oct-2006
https://doi.org/10.1002/spe.4380201003
Findler RFlanagan CFlatt MKrishnamurthi SFelleisen M(2005)DrScheme: A pedagogic programming environment for schemeProgramming Languages: Implementations, Logics, and Programs10.1007/BFb0033856(369-388)Online publication date: 21-Jun-2005
https://doi.org/10.1007/BFb0033856
Martelli ARossi G(2005)Enhancing Prolog to support Prolog programming environmentsESOP '8810.1007/3-540-19027-9_21(317-327)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-19027-9_21
Takahashi HShibayama E(2005)PRESET — A debugging environment for PrologLogic Programming '8510.1007/3-540-16479-0_9(90-99)Online publication date: 27-May-2005
https://doi.org/10.1007/3-540-16479-0_9
Loia VCattaneo GQuaggetto M(1992)Incremental, high level implementation of Prolog in an open system frameworkProceedings Fourth International Conference on Software Engineering and Knowledge Engineering10.1109/SEKE.1992.227963(394-403)Online publication date: 1992
https://doi.org/10.1109/SEKE.1992.227963

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations