Skip to main content

An expression-or-parallel implementation for a functional logic language

  • Posters and Demonstrations
  • Conference paper
  • First Online:
  • 193 Accesses

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

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

References

  1. K. A. M. Ali and R. Karlsson. The Muse Or-Parallel Prolog Model and its Performance. In North American Conference on Logic Programming, pages 757–776. MIT Press, 1990.

    Google Scholar 

  2. L. Araujo and J.J. Ruz. PDP: Prolog Distributed Processor for Independent AND/OR Parallel Execution of Prolog. In International Conference on Logic Programming (ICLP'94), pages 142–156. The MIT Press, 1994.

    Google Scholar 

  3. M.V. Hermenegildo. An Abstract Machine based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel. PhD thesis, The University of Texas at Austin, 1986.

    Google Scholar 

  4. J.J. Moreno-Navarro and M. Rodríguez-Artalejo. BABEL: A Functional and Logic Programming Language Based on a Constructor Discipline and Narrowing. In Conference on Algebraic and Logic Programming, LNCS 343, pages 223–232. Springer-Verlag, 1988.

    Google Scholar 

  5. B. Ramkumar and L. Kale. Compiled Execution of the Reduce-Or Process Model on Multiprocessors. In North American Conference on Logic Programming, pages 313–331. MIT Press, 1989.

    Google Scholar 

  6. A. Verden and H. Glaser. An AND-Parallel Distributed Prolog Executor. In P. Kacsuk and M.J. Wise, editors, Implementations of Distributed Prolog, Series in Parallel Computing, chapter 7, pages 143–158. Wiley, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Manuel Hermenegildo S. Doaitse Swierstra

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hans, W., Sáenz, F., Winkler, S. (1995). An expression-or-parallel implementation for a functional logic language. In: Hermenegildo, M., Swierstra, S.D. (eds) Programming Languages: Implementations, Logics and Programs. PLILP 1995. Lecture Notes in Computer Science, vol 982. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026838

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60359-7

  • Online ISBN: 978-3-540-45048-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics