PARLOG
From MaRDI portal
Cited in
(58)- VeriFly
- Control and data driven execution of logic programs: A comparison
- A declarative semantics of flat guarded Horn clauses for programs with perpetual processes
- Finite failures and partial computations in concurrent logic languages
- A parallel parsing system for natural language analysis
- scientific article; zbMATH DE number 554480 (Why is no real title available?)
- Specification and initialization of a logic computer system
- Dataflow computing and Eager and Lazy evaluations
- Semantics of distributed definite clause programs
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- Transforming generate-and-test programs to execute under committed-choice AND-parallelism
- Contributions to the semantics of logic perpetual processes
- A methodology for detecting shared variable dependencies in logic programs
- Notes on the implementation of PARLOG
- Parallelism in logic programs
- HYPROLOG
- KLIC
- DASWAM
- clpfd
- CDAOstore
- wamcc
- PhyloWS
- Janus
- WebPIE
- OPTYap
- YapOr
- Making exhaustive search programs deterministic
- GHC
- SYGRAF
- April
- LPaaS
- HaLoop
- Yedalog
- SWISH DataLab
- Logic and functional programming by retractions
- 2P-Kt
- tuProlog
- NARROWER
- scientific article; zbMATH DE number 3956467 (Why is no real title available?)
- Compiling OR-parallelism into AND-parallelism
- P-Prolog: A parallel logic language based on exclusive relation
- Set abstraction - an extension of all solutions predicate in logic programming language
- The correctness of nondeterministic programs revisited
- An execution model for exploiting AND-parallelism in logic programs
- Flat Parlog: A basis for comparison
- A backtracking algorithm for the stream AND-parallel execution of logic programs
- Unfolding rules for GHC programs
- Parallélisation sémantique
- Guarded horn clauses
- Semantic models for concurrent logic languages
- PARLOG and its applications
- An abstract machine for the implementation of PARLOG on uniprocessors
- An algebraic semantics for structured transition systems and its application to logic programs
- An operational formal definition of PROLOG: A specification method and its application
- scientific article; zbMATH DE number 1367498 (Why is no real title available?)
- scientific article; zbMATH DE number 3951990 (Why is no real title available?)
- Kernel-LEAF: A logic plus functional language
- scientific article; zbMATH DE number 3995023 (Why is no real title available?)
This page was built for software: PARLOG
