PARLOG: parallel programming in logic

DOI10.1145/5001.5390zbMath0592.68016OpenAlexW2143326699MaRDI QIDQ3721786

K. L. Clark, Steve Gregory

Publication date: 1986

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1986-8/

zbMATH Keywords

parallelnondeterminismprogrammingpredicate logiclogic programming languageor-parallelismand-parallelismparallel modes of evaluationPARLOG

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (38)

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 ⋮ Kernel-LEAF: A logic plus functional language ⋮ Parallelism in logic programs ⋮ 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 ⋮ Parallélisation sémantique ⋮ Role of logic programming in the FGCS project ⋮ Fifty Years of Prolog and Beyond ⋮ Parallel Logic Programming: A Sequel ⋮ 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 ⋮ A Prolog-based expert system for modeling with partial differential equations ⋮ Semantic models for concurrent logic languages ⋮ Smart office robot collaboration based on multi-agent programming ⋮ An operational formal definition of PROLOG: A specification method and its application ⋮ A methodology for detecting shared variable dependencies in logic programs ⋮ Logic and functional programming by retractions ⋮ 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 ⋮ Efficient parallel term matching and anti-unification ⋮ A parallel parsing system for natural language analysis ⋮ Semantics of distributed definite clause programs ⋮ The semantics of the combination of atomized statements and parallel choice ⋮ PARLOG ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs ⋮ The correctness of nondeterministic programs revisited ⋮ P-Prolog: A parallel logic language based on exclusive relation ⋮ Compiling OR-parallelism into AND-parallelism

This page was built for publication: PARLOG: parallel programming in logic