PARLOG: parallel programming in logic
From MaRDI portal
Recommendations
Cited in
(59)- Specification and initialization of a logic computer system
- Dataflow computing and Eager and Lazy evaluations
- Control and data driven execution of logic programs: A comparison
- Set abstraction - an extension of all solutions predicate in logic programming language
- Making exhaustive search programs deterministic
- Flat Parlog: A basis for comparison
- Unfolding rules for GHC programs
- Contributions to the semantics of logic perpetual processes
- An abstract machine for the implementation of PARLOG on uniprocessors
- A backtracking algorithm for the stream AND-parallel execution of logic programs
- Semantic models for concurrent logic languages
- An operational formal definition of PROLOG: A specification method and its application
- A methodology for detecting shared variable dependencies in logic programs
- LOGLAN '88. Report on the programming language
- The implementation of a distributed model for logic programming based on multiple-headed clauses
- An algebraic semantics for structured transition systems and its application to logic programs
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- Semantics of distributed definite clause programs
- The semantics of the combination of atomized statements and parallel choice
- Parallelism in logic programs
- The correctness of nondeterministic programs revisited
- P-Prolog: A parallel logic language based on exclusive relation
- Compiling OR-parallelism into AND-parallelism
- Smart office robot collaboration based on multi-agent programming
- Kernel-LEAF: A logic plus functional language
- Exploiting parallelism in coalgebraic logic programming
- Concurrency and backtracking in Vienna Parallel Logic
- Parallélisation sémantique
- PARLOG
- Associative concurrent evaluation of logic programs
- Notes on the implementation of PARLOG
- scientific article; zbMATH DE number 3958698 (Why is no real title available?)
- scientific article; zbMATH DE number 4049157 (Why is no real title available?)
- scientific article; zbMATH DE number 4058820 (Why is no real title available?)
- scientific article; zbMATH DE number 4058911 (Why is no real title available?)
- A Prolog-based expert system for modeling with partial differential equations
- PARLOG and its applications
- Logic and functional programming by retractions
- scientific article; zbMATH DE number 4106251 (Why is no real title available?)
- scientific article; zbMATH DE number 107874 (Why is no real title available?)
- scientific article; zbMATH DE number 529789 (Why is no real title available?)
- Parma—bridging the performance gap between imperative and logic programming
- Multilog and data or-parallelism
- scientific article; zbMATH DE number 1059304 (Why is no real title available?)
- Parallel execution of logic programs by load sharing
- scientific article; zbMATH DE number 3995023 (Why is no real title available?)
- scientific article; zbMATH DE number 3997139 (Why is no real title available?)
- scientific article; zbMATH DE number 1862076 (Why is no real title available?)
- scientific article; zbMATH DE number 1420804 (Why is no real title available?)
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- Role of logic programming in the FGCS project
- A parallel parsing system for natural language analysis
- Fifty Years of Prolog and Beyond
- Parallel Logic Programming: A Sequel
- Efficient parallel term matching and anti-unification
- Transforming generate-and-test programs to execute under committed-choice AND-parallelism
- Comparative metric semantics for concurrent PROLOG
- Finite failures and partial computations in concurrent logic languages
- A declarative semantics of flat guarded Horn clauses for programs with perpetual processes
This page was built for publication: PARLOG: parallel programming in logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3721786)
