PARLOG

swMATH23764MaRDI QIDQ35531FDOQ35531

Author name not available (Why is that?)

Described by source

• PARLOG: parallel programming in logic

Cited In (36)

• PARLOG and its applications
• Contributions to the semantics of logic perpetual processes
• Set abstraction - an extension of all solutions predicate in logic programming language
• An execution model for exploiting AND-parallelism in logic programs
• Flat Parlog: A basis for comparison
• Semantic models for concurrent logic languages
• An abstract machine for the implementation of PARLOG on uniprocessors
• Logic and functional programming by retractions
• Semantics of distributed definite clause programs
• Unfolding rules for GHC programs
• An operational formal definition of PROLOG: A specification method and its application
• Title not available (Why is that?)
• A backtracking algorithm for the stream AND-parallel execution of logic programs
• Parallélisation sémantique
• Notes on the implementation of PARLOG
• A parallel parsing system for natural language analysis
• Guarded horn clauses
• An algebraic semantics for structured transition systems and its application to logic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Transforming generate-and-test programs to execute under committed-choice AND-parallelism
• A methodology for detecting shared variable dependencies in logic programs
• Making exhaustive search programs deterministic
• Title not available (Why is that?)
• A declarative semantics of flat guarded Horn clauses for programs with perpetual processes
• Finite failures and partial computations in concurrent logic languages
• Compiling OR-parallelism into AND-parallelism
• P-Prolog: A parallel logic language based on exclusive relation
• The correctness of nondeterministic programs revisited
• Parallelism in logic programs
• Kernel-LEAF: A logic plus functional language
• Specification and initialization of a logic computer system
• Dataflow computing and Eager and Lazy evaluations
• Title not available (Why is that?)
• Control and data driven execution of logic programs: A comparison

This page was built for software: PARLOG