Article

Design and evaluation of a Prolog compiler

Authors:

M Kishimoto,

T Shinogi,

Y Kimura,

A HattoriAuthors Info & Claims

Proceedings of the 4th conference on Logic programming '85

Pages 192 - 203

Published: 01 August 1986 Publication History

Abstract

No abstract available.

Cited By

View all

Yuhara MHattori ANiwa MKishimoto MHayashi HAiso H(1986)Evaluation of the FACOM ALPHA Lisp machineProceedings of the 13th annual international symposium on Computer architecture10.5555/17407.17377(184-190)Online publication date: 1-Jun-1986
https://dl.acm.org/doi/10.5555/17407.17377
Yuhara MHattori ANiwa MKishimoto MHayashi H(1986)Evaluation of the FACOM ALPHA Lisp machineACM SIGARCH Computer Architecture News10.1145/17356.1737714:2(184-190)Online publication date: 1-May-1986
https://dl.acm.org/doi/10.1145/17356.17377

Index Terms

Design and evaluation of a Prolog compiler
1. General and reference
  1. Document types
2. Software and its engineering
  1. Software notations and tools

Recommendations

Partial evaluation in an optimizing prolog compiler
From Naïve to Norvig On Deriving a PROLOG Compiler
ILC '14: Proceedings of ILC 2014 on 8th International Lisp Conference

An interpreter is a concise definition of the semantics of a programming language and is easily implemented. A compiler is more difficult to construct, but the code that it generates runs faster than interpreted code. This paper introduces rules to ...
High-Performance Logic Programming with the Aquarius Prolog Compiler

Aquarius Prolog, a high performance compiler designed and built to test the hypothesis that Prolog can be implemented as efficiently as an imperative language by compiling the more powerful features of logic programming only where they are needed, and ...

Comments

Information & Contributors

Information

Published In

Proceedings of the 4th conference on Logic programming '85

August 1986

311 pages

ISBN:0387164790

Editor:
Eiiti Wada

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 August 1986

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 10 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Yuhara MHattori ANiwa MKishimoto MHayashi HAiso H(1986)Evaluation of the FACOM ALPHA Lisp machineProceedings of the 13th annual international symposium on Computer architecture10.5555/17407.17377(184-190)Online publication date: 1-Jun-1986
https://dl.acm.org/doi/10.5555/17407.17377
Yuhara MHattori ANiwa MKishimoto MHayashi H(1986)Evaluation of the FACOM ALPHA Lisp machineACM SIGARCH Computer Architecture News10.1145/17356.1737714:2(184-190)Online publication date: 1-May-1986
https://dl.acm.org/doi/10.1145/17356.17377

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

Partial evaluation in an optimizing prolog compiler

From Naïve to Norvig On Deriving a PROLOG Compiler

High-Performance Logic Programming with the Aquarius Prolog Compiler

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