article

A simple code improvement scheme for Prolog

Author:

Saumya K. DebrayAuthors Info & Claims

Journal of Logic Programming, Volume 13, Issue 1

Pages 57 - 88

https://doi.org/10.1016/0743-1066(92)90021-T

Published: 01 May 1992 Publication History

Abstract

No abstract available.

Cited By

View all

Schrijvers TBanda MDemoen B(2002)Trailing Analysis for HALProceedings of the 18th International Conference on Logic Programming10.5555/645522.656310(38-53)Online publication date: 29-Jul-2002
https://dl.acm.org/doi/10.5555/645522.656310
Schrijvers TDemoen BPfenning FKirchner C(2002)Combining an improvement to PARMA trailing with trailing analysisProceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming10.1145/571157.571167(88-98)Online publication date: 6-Oct-2002
https://dl.acm.org/doi/10.1145/571157.571167
De Bosschere KDebray SGudeman DKannan SBoehm HLang BYellin D(1994)Call forwardingProceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/174675.178041(409-420)Online publication date: 1-Feb-1994
https://dl.acm.org/doi/10.1145/174675.178041

Index Terms

A simple code improvement scheme for Prolog
1. Software and its engineering
  1. Software notations and tools

Recommendations

A Simple near-Horn Prolog Interpreter
Towards a jitting VM for prolog execution
PPDP '10: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming

Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes them hard to write. In addition, many of the more dynamic features of Prolog ...
On using scheme to introduce prolog

The traditional way to teach Prolog is to have students start by writing recursive mathematical definitions of the problems they are trying to solve. While this is an effective technique, it does not fit well into a Programming Languages course that ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Journal of Logic Programming

Journal of Logic Programming Volume 13, Issue 1

May 1992

96 pages

ISSN:0743-1066

Editor:
M. Bruynooghe
Katholieke Univ. Leuven, Heverlee, Belgium

Issue’s Table of Contents

Publisher

Elsevier Science Inc.

United States

Publication History

Published: 01 May 1992

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Schrijvers TBanda MDemoen B(2002)Trailing Analysis for HALProceedings of the 18th International Conference on Logic Programming10.5555/645522.656310(38-53)Online publication date: 29-Jul-2002
https://dl.acm.org/doi/10.5555/645522.656310
Schrijvers TDemoen BPfenning FKirchner C(2002)Combining an improvement to PARMA trailing with trailing analysisProceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming10.1145/571157.571167(88-98)Online publication date: 6-Oct-2002
https://dl.acm.org/doi/10.1145/571157.571167
De Bosschere KDebray SGudeman DKannan SBoehm HLang BYellin D(1994)Call forwardingProceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/174675.178041(409-420)Online publication date: 1-Feb-1994
https://dl.acm.org/doi/10.1145/174675.178041

View Options

View options

Get Access

Login options

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

Abstract

Cited By

Index Terms

Recommendations

A Simple near-Horn Prolog Interpreter

Towards a jitting VM for prolog execution

On using scheme to introduce prolog

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations