Alternation and the computational complexity of logic programs
Journal of Logic Programming
BYTE - Lecture notes in computer science Vol. 174
Communicating sequential processes
Communicating sequential processes
MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Logic programming: functions, relations, and equations
Logic programming: functions, relations, and equations
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
Fairness
Multiway merge with constant delay in concurrent Prolog
New Generation Computing
Implementing parallel algorithms in concurrent prolog: The maxiflow experience
Journal of Logic Programming
A GHC abstract machine and instruction set
Proceedings on Third international conference on logic programming
P-Prolog: a parallel logic programming language based on exclusive relation
Proceedings on Third international conference on logic programming
Qualified answers and their application to transformation
Proceedings on Third international conference on logic programming
Logic for problem-solving
Current trends in concurrency. Overviews and tutorials
Computer
Concurrent Prolog: A Progress Report
Computer
Proceedings of the 4th conference on Logic programming '85
-FLENG Prolog- the language which turns supercomputers into parallel Prolog machines
The 5th Conference on Logic programming '86
Parallel logic programming in PARLOG: the language and its implementation
Parallel logic programming in PARLOG: the language and its implementation
Weak and strong fairness in CCS
Information and Computation
A parallel implementation of flat concurrent prolog
International Journal of Parallel Programming
Termination detection for dynamically distributed systems with non-first-in-first-out communication
Journal of Parallel and Distributed Computing
Notes on the complexity of systolic programs
Journal of Parallel and Distributed Computing
Parlog86 and the dining logicians
Communications of the ACM
The role of logic programming in the fifth generation computer project
New Generation Computing
Making exhaustive search programs deterministic
New Generation Computing
Compiling OR-parallelism into AND-parallelism
New Generation Computing
Vulcan: logical concurrent objects
Research directions in object-oriented programming
Concurrent prolog: collected papers
Concurrent prolog: collected papers
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Algorithmics: the spirit of computing
Algorithmics: the spirit of computing
The concurrent logic programming language CP: Definition and operational semantics
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A layered method for process and code mapping
New Generation Computing
Flat parlog: a basis for comparison
International Journal of Parallel Programming
Specialisation of Prolog and FCP programs using abstract interpretation
New Generation Computing - Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed
Merging many streams efficiently: The importance of atomic commitment
Concurrent Prolog
Computation control and protection in the Logix system
Concurrent Prolog: collected papers
The Logix system user manual version 1.21
Concurrent Prolog: collected papers
Algorithm debugging of GHC programs and its implementation in GHC
Concurrent Prolog: collected papers
Representation and enumeration of flat Concurrent Prolog computations
Concurrent Prolog: collected papers
A type system for logic programs
Concurrent Prolog: collected papers
Translation of safe GHC and safe Concurrent Prolog to FCP
Concurrent Prolog: collected papers
Or-parallel Prolog in flat Concurrent Prolog
Concurrent Prolog: collected papers
CFL—A concurrent functional language embedded in a concurrent logic programming environment
Concurrent Prolog: collected papers
A sequential abstract machine for flat Concurrent Prolog
Concurrent Prolog: collected papers
The art of building a parallel logic programming system
Proceedings of the 6th Conference on Logic programming '87
Parallel program design: a foundation
Parallel program design: a foundation
Foundations of deductive databases and logic programming
Equivalences of logic programs
Foundations of deductive databases and logic programming
Detecting stable properties of networks in concurrent logic programming languages
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
FCP: a summary of performance results
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Communications of the ACM
Or-parallel execution models of prolog
II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
Concurrent algorithmic debugging
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
An abstract machine for the implementation of PARLOG on uniprocessors
New Generation Computing
Fully abstract compositional semantics for logic programs
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proof theory and semantics of logic programs
Proceedings of the Fourth Annual Symposium on Logic in computer science
A simple programming system written in GHC and its reflective operations
Proceedings of the seventh conference on Logic programming '88
Using safe approximations of fixed points for analysis of logic programs
Meta-programming in logic programming
A paradigm for detecting quiescent properties in distributed computations
Logics and models of concurrent systems
On the development of reactive systems
Logics and models of concurrent systems
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Guarded horn clauses and experiences with parallel logic programming
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Annotations for distributed programming in logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Algorithmic Program DeBugging
A Calculus of Communicating Systems
A Calculus of Communicating Systems
A Discipline of Programming
An indeterminate constructor for applicative programming
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Partial correctness semantics for CP [ , | , &]
Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
An Approach to Fair Applicative Multiprogramming
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
A relational language for parallel programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Specification and Verification of Concurrent Programs by For-All Automata
Specification and Verification of Concurrent Programs by For-All Automata
Remote procedure call
Implementation of committed choice logic languages on shared memory multiprocessors
Implementation of committed choice logic languages on shared memory multiprocessors
Concurrent constraint programming languages
Concurrent constraint programming languages
Occam Programming Manual
Distributed variable server for atomic unification
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Generators and the replicator control structure in the parallel environment of ALLOY
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Communication with directed logic variables
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
A methodology for managing hard constraints in CLP systems
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
A fully abstract semantics for a first-order functional language with logic variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
Pragmatic parsing in Common Lisp; or, putting defmacro on steroids
ACM SIGPLAN Lisp Pointers
ObjVProlog-D: a reflexive object-oriented logic language for distributed computing
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
A Lingua Franca for Concurrent Logic Programming
IEEE Transactions on Software Engineering
A sequential abstract machine for a distributed logic language
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Notes on implementing sets in Prolog
Communications of the ACM
Architectural Support for Goal Management in Flat Concurrent Prolog
Computer - Special issue on sharing: high performance at low cost
Active mail—a framework for implementing groupware
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Coordinating rule-based software processes with ESP
ACM Transactions on Software Engineering and Methodology (TOSEM)
Suspension analyses for concurrent logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
An operational framework for value-passing processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Logic programming and constraint logic programming
ACM Computing Surveys (CSUR)
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Declarative Ada: parallel dataflow programming in a familiar context
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Mobile objects in distributed Oz
ACM Transactions on Programming Languages and Systems (TOPLAS)
Evaluating parallel logic programming systems on scalable multiprocessors
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Object graph rewriting: an experimental parallel implementation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A partially deadlock-free typed process calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
The concurrent object-oriented language braid
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Linear behaviour of term graph rewriting programs
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Search in concurrent logic languages
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Communications of the ACM
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
A collaboration specification language
Proceedings of the 2nd conference on Domain-specific languages
Prototyping of complex plan based behavior for 3D actors
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Continuations for parallel logic programming
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordinating functional processes with Haskell#
Proceedings of the 2002 ACM symposium on Applied computing
Constraint Programming: Strategic Directions
Constraints
A History of Data-Flow Languages
IEEE Annals of the History of Computing
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic
IEEE Transactions on Knowledge and Data Engineering
Comparing coordination models and architectures using embeddings
Science of Computer Programming - Special issue on coordination languages and architectures
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
A Novel Implementation of the Extended Andorra Model
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Resource-Passing Concurrent Programming
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Generic Process Algebras for Asynchronous Communication
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Demand-Driven Dataflow for Concurrent Committed-Choice Code
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Practical Static Mode Analyses of Concurrent Logic Languages
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Organizing Speculative Computations in Functional Systems
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Fundamenta Informaticae - Concurrency specification and programming
On logic programs that always succeed
Science of Computer Programming
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Decidability of infinite-state timed CCP processes and first-order LTL
Theoretical Computer Science - Expressiveness in concurrency
Monadic concurrent linear logic programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A CHR-based implementation of known arc-consistency
Theory and Practice of Logic Programming
Programming finite-domain constraint propagators in Action Rules
Theory and Practice of Logic Programming
A concurrent lambda calculus with futures
Theoretical Computer Science - Applied semantics
A collaboration specification language
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Calculating modules in contextual logic program refinement
Theory and Practice of Logic Programming
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
Data & Knowledge Engineering
Bristlecone: A Language for Robust Software Systems
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Thread-Based Competitive Or-Parallelism
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
High Level Thread-Based Competitive Or-Parallelism in Logtalk
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Expressiveness of Multiple Heads in CHR
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
On the expressive power of priorities in CHR
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Oz: a programming language for multi-agent systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A prolog-based language for workflow programming
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Proceedings of the sixth workshop on Declarative aspects of multicore programming
Coordination and concurrency in multi-engine prolog
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Logic Java: combining object-oriented and logic programming
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
On the Expressive Power of Multiple Heads in CHR
ACM Transactions on Computational Logic (TOCL)
Convergence in language design: a case of lightning striking four times in the same place
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Theory and Practice of Logic Programming - Prolog Systems
A concurrent lambda calculus with futures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Improving memory usage in the BEAM
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Rule-based coordination of logic programs
Computer Languages
Concurrency and backtracking in Vienna Parallel Logic
Computer Languages
A declarative coordination language
Computer Languages
From the π-calculus to flat GHC
Proceedings of the 14th symposium on Principles and practice of declarative programming
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Executing Suspended Logic Programs
Fundamenta Informaticae
Relative expressiveness of defeasible logics
Theory and Practice of Logic Programming
A new concurrency model for Scala based on a declarative dataflow core
Proceedings of the 4th Workshop on Scala
The expressive power of CHR with priorities
Information and Computation
| Hi-index | 0.03 |
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. Operationally, their model of computation consists of a dynamic set of concurrent processes, communicating by instantiating shared logical variables, synchronizing by waiting for variables to be instantiated, and making nondeterministic choices, possibly based on the availability of values of variables.This paper surveys the family of concurrent logic programming languages within a uniform operational framework. It demonstrates the expressive power of even the simplest language in the family and investigates how varying the basic synchronization and control constructs affect the expressiveness and efficiency of the resulting languages.In addition, the paper reports on techniques for sequential and parallel implementation of languages in this family, mentions their applications to date, and relates these languages to the abstract logic programming model, to the programming language PROLOG, and to other concurrent computational models and programming languages.