Communicating sequential processes
Communicating sequential processes
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Prolog programming for artificial intelligence
Prolog programming for artificial intelligence
Parallel execution of logic programs
Parallel execution of logic programs
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
Communicating sequential processes
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
An indeterminate constructor for applicative programming
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A relational language for parallel programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
IEEE Transactions on Software Engineering - Special Issue on Artificial Intelligence in Software Applications
Communications of the ACM
Implementing a graph-colouring algorithm in Parlog
ACM SIGPLAN Notices
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
How to write parallel programs: a guide to the perplexed
ACM Computing Surveys (CSUR)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
ACM SIGCSE Bulletin
Coordination languages and their significance
Communications of the ACM
Notes on implementing sets in Prolog
Communications of the ACM
Compositional parallel programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Continuations for parallel logic programming
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Interactors: a real-time executive with multiparty interactions in C++
ACM SIGPLAN Notices
An architecture for visualizing the execution of parallel logic programs
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
| Hi-index | 48.28 |
A classic problem in concurrent programming is that of the "dining philosophers" which challenges the power of any aspiring concurrent program language. Recently, a growing number of logic programming languages have been refined to handle concurrent programming, one in particular is Parlog86.