Everything about Concurrent logic programming

🧭 Start here: a 6-step reading path

1. Read the overview: Concurrent logic programmingA 5-minute orientation
2. Skim a recent paper: GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AIInfluential work since 2022
3. Pick up a classic book: Proof and computationThe most-reprinted book on the subject
4. Read the landmark paper: The family of concurrent logic programming languagesCited 292 times
5. Go sideways: Logic programmingA closely related topic
6. Go sideways: Fifth Generation Computer SystemsA closely related topic

🏆 Landmark papers (most cited)

• The family of concurrent logic programming languages

  Ehud Shapiro · 1989 · ACM Computing Surveys · 292 citations

• Steel: proof-oriented programming in a dependently typed concurrent separation logic

  Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy · 2021 · Proceedings of the ACM on Programming Languages · 20 citations

• The deevolution of concurrent logic programming languages

  E. Tick · 1995 · The Journal of Logic Programming · 17 citations

• Modeling flexible manufacturing systems: the concurrent logic programming approach

  Y. Dotan, D. Ben-Arieh · 1991 · IEEE Transactions on Robotics and Automation · 15 citations

• Distributed concurrent linear logic programming

  Naoki Kobayashi, Toshihiro Shimizu, Akinori Yonezawa · 1999 · Theoretical Computer Science · 13 citations

• A Linear Logic Programming Language for Concurrent Programming over Graph Structures

  FLAVIO CRUZ, RICARDO ROCHA, SETH COPEN GOLDSTEIN · 2014 · Theory and Practice of Logic Programming · 7 citations

• Concurrent logic programming as a hardware description tool

  Y. Dotan, B. Arazi · 1990 · IEEE Transactions on Computers · 6 citations

• A specification logic for concurrent object-oriented programming

  G. DELZANNO, D. GALMICHE, M. MARTELLI · 1999 · Mathematical Structures in Computer Science · 5 citations

🆕 Influential since 2022

• GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI

  Ehud Shapiro · 2026 · Electronic Proceedings in Theoretical Computer Science · 1 citations

📚 Books worth reading

• Proof and computationNorth Atlantic Treaty Organization · 1995
• Concepts, design, and performance analysis of a parallel prolog machineJoachim Beer · 1989

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Logic programming Logic programming is a programming, database, and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical…
• Fifth Generation Computer Systems The Fifth Generation Computer Systems (FGCS; Japanese: 第五世代コンピュータ, romanized: daigosedai konpyūta) was a 10-year initiative launched in 1982 by Japan's…
• Ehud Shapiro Ehud Shapiro (Hebrew: אהוד שפירא; born 1955) is an Israeli scientist, entrepreneur, artist, and political activist who is Professor Emeritus of Computer…
• Indeterminacy in concurrent computation Indeterminacy in concurrent computation is concerned with the effects of indeterminacy in concurrent computation. Computation is an area in which indeterminacy…
• Prolog Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Prolog…
• Rule-based system In computer science, a rule-based system is a computer system in which domain-specific knowledge is represented in the form of rules and general-purpose…
• KL1 KL1, or Kernel Language 1 is an experimental and-parallel version of KL0 developed for the ICOT Fifth Generation Computer project. KL1 is an implementation…
• SLD resolution SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution that…