Skip to main content
SpringerLink
Log in
Book cover

VLSI Engineering pp 52–67Cite as

Prolog interpreter and its parallel extension

  • Chapter 2 Systems And Machine Architecture
  • Chapter
  • First Online:

  • 137 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 163))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kowalski, R., “Predicate Logic as Programming Language,” Information Processing 74, North-Holland, pp.569–574, 1974.

    Google Scholar 

  2. Roussel, P., “Prolog: Manual de Reference et d'Utilisation,” Groupe d'Intelligence Artificielle, Marseille-Luminy, Sept. 1975.

    Google Scholar 

  3. Warren D.H.D. et al., “Prolog-The Language and its Implementation Compared with Lisp,” Proc. Symposium on Artificial Intelligence and Programming Languages, pp.109–115, 1977.

    Google Scholar 

  4. Futamura, Y. et al., “Development of computer programs by PAD,” Proc. of the Fifth International Conference on Software Engineering, 1982.

    Google Scholar 

  5. Chang, C. L. and Lee, R. C., “Symbolic Logic and Mechanical Theorem Proving,” Academic Press, 1974.

    Google Scholar 

  6. Bruynooghe, M., “The Memory Management of PROLOG Implementation,” Logic Programming Workshop, 1980.

    Google Scholar 

  7. Mellish, C.S., “An Alternative to Structure-Sharing in the Implementation of A Prolog Interpleter,” Logic Programming Workshop, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electrotechnical Laboratory, 305, Ibaraki, Japan

    Yuji Matsumoto & Katsumi Nitta

  2. Institute for New Generation Computer Technology, 108, Tokyo, Japan

    Koichi Furukawa

Authors
  1. Yuji Matsumoto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Katsumi Nitta
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Koichi Furukawa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Tosiyasu L. Kunii

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Matsumoto, Y., Nitta, K., Furukawa, K. (1984). Prolog interpreter and its parallel extension. In: Kunii, T.L. (eds) VLSI Engineering. Lecture Notes in Computer Science, vol 163. Springer, Tokyo. https://doi.org/10.1007/BFb0043448

Download citation

  • DOI: https://doi.org/10.1007/BFb0043448

  • Published:

  • Publisher Name: Springer, Tokyo

  • Print ISBN: 978-4-431-70002-9

  • Online ISBN: 978-4-431-36817-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation