Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
Specification and initialization of a logic computer system
New Generation Computing
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A data-dependency-based intelligent backtracking scheme for Prolog
Journal of Logic Programming
Node autonomy in distributed systems
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
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)
The Aurora or-parallel Prolog system
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
The craft of Prolog
Kernel Andorra Prolog and its computation model
Logic programming
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed, object-based programming systems
ACM Computing Surveys (CSUR)
Distributed programming with shared data
Computer Languages
The reduce-or process model for parallel execution of logic programs
Journal of Logic Programming
Communications of the ACM
Database transaction models for advanced applications
Database transaction models for advanced applications
Multidatabase transaction and query processing in logic
Database transaction models for advanced applications
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Coordination languages and their significance
Communications of the ACM
Extending the transaction model to capture more meaning
ACM SIGMOD Record
PARLE '92 Proceedings of the 4th International PARLE Conference on Parallel Architectures and Languages Europe
Parallel programming with logic languages: A survey
Computer Languages
| Hi-index | 0.00 |
Vienna Parallel Logic (^VP"L) is a persistent language and programming system that supports the concurrent execution of communicating processes and the computation of several alternative solutions by means of programmed backtracking. It unifies the worlds of sequential logic programming languages (Prolog) and concurrent logic programming languages (i.e. Parlog). Aspects of both language classes can be combined to any desired degree within one computation. Such a language is well suited for multidatabase applications. Further characteristics include an advanced transaction model, the support of an architecture-neutral programming style, and the treatment of failing processes. We describe the language and briefly outline implementation issues of our prototype system.