PARLOG
From MaRDI portal
Software:35531
No author found.
Related Items (36)
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 ⋮ Guarded horn clauses ⋮ Set abstraction - an extension of all solutions predicate in logic programming language ⋮ Making exhaustive search programs deterministic ⋮ An execution model for exploiting AND-parallelism in logic programs ⋮ 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 ⋮ Unnamed Item ⋮ A backtracking algorithm for the stream AND-parallel execution of logic programs ⋮ Parallélisation sémantique ⋮ Unnamed Item ⋮ Transforming generate-and-test programs to execute under committed-choice AND-parallelism ⋮ Finite failures and partial computations in concurrent logic languages ⋮ A declarative semantics of flat guarded Horn clauses for programs with perpetual processes ⋮ PARLOG and its applications ⋮ 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 ⋮ Logic and functional programming by retractions ⋮ An algebraic semantics for structured transition systems and its application to logic programs ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs ⋮ A parallel parsing system for natural language analysis ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Semantics of distributed definite clause programs ⋮ The correctness of nondeterministic programs revisited ⋮ P-Prolog: A parallel logic language based on exclusive relation ⋮ Compiling OR-parallelism into AND-parallelism ⋮ Notes on the implementation of PARLOG
This page was built for software: PARLOG
