3. Konagaya, A. and Umemura, M., "Knowledge Information Processing Language: ShapeUp", New Generation Computing, Vol. 2, No. 2, Pressed by Ohmsha, Springer Verlag 1984, pp. 195-201.

Google Scholar

[4]

4. Chu, Y., "High-Level Language Computer Architecture", Academic Press, 1975.

Digital Library

Google Scholar

[5]

5. Uchida, S., "Inference Machine: From Sequential to Parallel" Proc. of 10 the International Symposium on Computer Architecture, June 1983, pp. 410-416.

Digital Library

Google Scholar

[6]

6. Uchida, S. and Yokoi, T., "Sequential Inference Machine: SIM Progress Report", Proc. of FGCS '84, Tokyo, Nov, 1984.

Google Scholar

[7]

7. Nishikawa, H., et al., "The Personal Sequential Inference Machine (PSI): Its Design Philosophy and Machine Architecture," Logic Programming Workshop '83, Universidade Nova de Lisboa, June 1983, pp. 53-73.

Google Scholar

[8]

8. Bowen, D.L., "DECsystem-10 PROLOG USER'S MANUAL", Department of Artificial Intelligence Univ. Of Edinburgh, Dec. 1981.

Google Scholar

[9]

9. Warren, D.H., "An Abstract Prolog Instruction Set", Tech. report 309, Artificial Intelligence Center, SRI International, 1983.

Google Scholar

[10]

10. Tick, E. and Warren, D.H., "Towards a Pipelined Prolog Processor", 1984 International Symposium on Logic Programming, IEEE Computer Society, February 1984.

Crossref

Google Scholar

[11]

11. Warren, D.H., "An Improved Prolog Implementation which Optimises Tail Recursion", Research Paper 156, Dept. of Artificial Intelligence, Univ. of Edinburgh, 1980.

Google Scholar

Cited By

View all

Hertzberger L(2015)An Overview of Current Sequential Inference Machine ProjectsIETE Journal of Research10.1080/03772063.1988.1143672634:3(166-171)Online publication date: 2-Jun-2015
https://doi.org/10.1080/03772063.1988.11436726
Shin DBerra P(2009)Computer architectures for logic-oriented data/knowledge bases1The Knowledge Engineering Review10.1017/S02698889000047204:01(1)Online publication date: 7-Jul-2009
https://doi.org/10.1017/S0269888900004720
Shih YIrani K(2005)Design and scheduling of mesh array of hardware unifiers for large-scale unificationSupercomputing10.1007/3-540-18991-2_39(687-715)Online publication date: 27-May-2005
https://doi.org/10.1007/3-540-18991-2_39
Show More Cited By

Index Terms

Design of a high-speed Prolog machine (HPM)
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Distributed scheduling algorithm design for high-speed switching systems
Design and analysis of high-speed packet switching fabrics for integrated broadband networks
A note on the speed of Prolog

Based on an experiment in compiler writing methods, we discuss the speed of Prolog programs of modest size when compared with operationally equivalent Pascal programs. We have produced three versions of a compiler for the programming language Edison ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGARCH Computer Architecture News

ACM SIGARCH Computer Architecture News Volume 13, Issue 3

Special Issue: Proceedings of the 12th annual international symposium on Computer architecture (ISCA '85)

June 1985

396 pages

ISSN:0163-5964

DOI:10.1145/327070

Chairmen:
Thomas Gannon
Digital Equipment Corp.
,
Tilak Agerwala
IBM Research
,
Charles Freiman
IBM Research

Issue’s Table of Contents

ISCA '85: Proceedings of the 12th annual international symposium on Computer architecture
June 1985
428 pages
ISBN:0818606347
Chairmen:
Thomas Gannon
Digital Equipment Corp.
,
Tilak Agerwala
IBM Research
,
Charles Freiman
IBM Research

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1985

Published in SIGARCH Volume 13, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

26
Total Citations
View Citations
504
Total Downloads

Downloads (Last 12 months)153
Downloads (Last 6 weeks)56

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hertzberger L(2015)An Overview of Current Sequential Inference Machine ProjectsIETE Journal of Research10.1080/03772063.1988.1143672634:3(166-171)Online publication date: 2-Jun-2015
https://doi.org/10.1080/03772063.1988.11436726
Shin DBerra P(2009)Computer architectures for logic-oriented data/knowledge bases1The Knowledge Engineering Review10.1017/S02698889000047204:01(1)Online publication date: 7-Jul-2009
https://doi.org/10.1017/S0269888900004720
Shih YIrani K(2005)Design and scheduling of mesh array of hardware unifiers for large-scale unificationSupercomputing10.1007/3-540-18991-2_39(687-715)Online publication date: 27-May-2005
https://doi.org/10.1007/3-540-18991-2_39
Bibel WKurfeß FAspetsberger KHintenaus PSchumann J(2005)Parallel inference machinesFuture Parallel Computers10.1007/3-540-18203-9_5(185-226)Online publication date: 28-May-2005
https://doi.org/10.1007/3-540-18203-9_5
Treleaven PRefenes ALees KMcCabe S(2005)Computer architectures for artificial intelligenceFuture Parallel Computers10.1007/3-540-18203-9_15(416-492)Online publication date: 28-May-2005
https://doi.org/10.1007/3-540-18203-9_15
Konagaya ANakazaki RUmemura M(2005)A co-operative programming environment for a back-end type sequential inference machine CHIParallel Algorithms and Architectures10.1007/3-540-18099-0_46(196-205)Online publication date: 3-Jun-2005
https://doi.org/10.1007/3-540-18099-0_46
Uchida S(2005)Toward the parallel inference machineCONPAR 8610.1007/3-540-16811-7_196(404-418)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-16811-7_196
Robinson I(2005)A Prolog processor based on a pattern matching memory deviceThird International Conference on Logic Programming10.1007/3-540-16492-8_73(172-179)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-16492-8_73
Atarashi AKonagaya AHabata SYokota M(1990)Implementation and evaluation of dynamic predicates on the sequential inference machine CHIProceedings. 1990 International Conference on Computer Languages10.1109/ICCL.1990.63779(236-244)Online publication date: 1990
https://doi.org/10.1109/ICCL.1990.63779
Gibson I(1990)Analysis of experimental Prolog-database hardwareTwenty-Third Annual Hawaii International Conference on System Sciences10.1109/HICSS.1990.205096(30-39)Online publication date: 1990
https://doi.org/10.1109/HICSS.1990.205096
Show More Cited By

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.

References

Cited By

Index Terms

Recommendations

Distributed scheduling algorithm design for high-speed switching systems

Design and analysis of high-speed packet switching fabrics for integrated broadband networks

A note on the speed of Prolog

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations