The family of concurrent logic programming languages

  title={The family of concurrent logic programming languages},
  author={Ehud Shapiro},
  journal={ACM Comput. Surv.},
  • Ehud Shapiro
  • Published 1989
  • Computer Science
  • ACM Comput. Surv.
  • Concurrent logic languages are high-level programming languages for parallel and distributed systems that offer a wide range of both known and novel concurrent programming techniques. Being logic programming languages, they preserve many advantages of the abstract logic programming model, including the logical reading of programs and computations, the convenience of representing data structures with logical terms and manipulating them using unification, and the amenability to metaprogramming… CONTINUE READING
    559 Citations
    Parallel Programming with Logic Languages: A Survey
    • 23
    • PDF
    Continuations for parallel logic programming
    • 21
    • PDF
    Search in concurrent logic languages
    • 1
    Distributed Programming in a Multi-Paradigm Declarative Language
    • 60
    • PDF
    Parallel logic programming systems
    • 105
    • PDF
    Concurrent Logic/Constraint Programming: The Next 10 Years
    • K. Ueda
    • Computer Science
    • The Logic Programming Paradigm
    • 1999
    • 18
    Parallelism and Implementation Technology for Logic Programming Languages
    • PDF


    Alternation and the Computational Complexity of Logic Programs
    • E. Shapiro
    • Computer Science, Mathematics
    • J. Log. Program.
    • 1982
    • 74
    • Highly Influential
    • PDF
    Algorithmic Program Debugging
    • 1,256
    • Highly Influential
    • PDF
    Guarded Horn Clauses
    • 409
    • Highly Influential
    • PDF
    Letter to the Editor
    • 1,646
    • Highly Influential
    • PDF
    Parallel logic programming in PARLOG - the language and its implementation
    • 119
    • Highly Influential
    Guarded horn clauses: A parallel logic programming language with the concept of a guard
    • 56
    • Highly Influential
    A compiler of CP(],],&) on top of Prolog
    • Tech. Rep. CS-87-174,
    • 1987
    The language GHC: Operational semantics, problems and relationship with CP[J,]
    • Proceedings of the IEEE Symposium on Logic Programming (San Francisco, Calif.). IEEE, New York, pp. 347-358.
    • 1987
    Programming language Dot and its self-description, or, X=X is considered harmful
    • Proceedings of the 3rd Conference of Japan Society of Software Science and Technology
    • 1986