On the public citation graph
Or-parallel execution models of Prolog
0 signed · 64 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf03037325openalex-snapshot
Towards a pipelined Prolog processor
inferredcites →https://doi.org/10.1007/bf03037327openalex-snapshot
Efficient Prolog memory management for flexible control strategies
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-19027-9_24openalex-snapshot
On implementing logic programming languages on a dataflow architecture
inferred← citeshttps://doi.org/10.1007/3-540-53504-7_98openalex-snapshot
Parallelism via speculation in pure Prolog
inferred← citeshttps://doi.org/10.1007/3-540-54444-5_90openalex-snapshot
An architectural model for OR-parallellism on distributed memory systems
inferred← citeshttps://doi.org/10.1007/3-540-55038-0_14openalex-snapshot
An efficient binding management in OR-parallel model
inferred← citeshttps://doi.org/10.1007/3-540-55038-0_5openalex-snapshot
καππα: A Kernel Andorra Prolog
inferred← citeshttps://doi.org/10.1007/3-540-57186-8_83openalex-snapshot
A parallel implementation for AKL
inferred← citeshttps://doi.org/10.1007/3-540-57186-8_86openalex-snapshot
An OR parallel Prolog model for distributed memory systems
inferred← citeshttps://doi.org/10.1007/3-540-57287-2_46openalex-snapshot
An or-parallel prolog execution model for a distributed shared memory machine
inferred← citeshttps://doi.org/10.1007/978-1-4471-3156-4_8openalex-snapshot
Logic Programming Schemes
inferred← citeshttps://doi.org/10.1007/978-1-4471-3421-3_11openalex-snapshot
The DelPhi Multiprocessor Inference Machine
inferred← citeshttps://doi.org/10.1007/978-1-4757-3609-0_8openalex-snapshot
Parallelism in Logic Programming and Scheduling Issues
inferred← citeshttps://doi.org/10.1007/978-3-642-02846-5_19openalex-snapshot
A Tabling Implementation Based on Variables with Multiple Bindings
inferred← citeshttps://doi.org/10.1007/978-3-642-84341-9_5openalex-snapshot
Implementation of a Parallel Logic + Functional Language
inferred← citeshttps://doi.org/10.1007/978-94-009-3117-6_20openalex-snapshot
Machines, Languages and Compilers for Parallel Symbolic Computing
inferred← citeshttps://doi.org/10.1007/bf00128177openalex-snapshot
OR parallel execution of Prolog programs with side effects
inferred← citeshttps://doi.org/10.1007/bf00244281openalex-snapshot
Parthenon: A parallel theorem prover for non-horn clauses
inferred← citeshttps://doi.org/10.1007/bf02583023openalex-snapshot
High-level characteristics of or- and independent and-parallelism in prolog
inferred← citeshttps://doi.org/10.1007/bf03037208openalex-snapshot
The Aurora or-parallel Prolog system
inferred← citeshttps://doi.org/10.1007/bf03037415openalex-snapshot
A method for efficiently executing horn clause programs using multiple processors
inferred← citeshttps://doi.org/10.1007/bf03037507openalex-snapshot
Memory referencing characteristics and caching performance of AND-Parallel Prolog on shared-memory multiprocessors
inferred← citeshttps://doi.org/10.1007/bfb0012887openalex-snapshot
PARTHENON: A parallel theorem prover for non-horn clauses
inferred← citeshttps://doi.org/10.1007/bfb0017207openalex-snapshot
Garbage collection in Aurora: An overview
inferred← citeshttps://doi.org/10.1016/0141-9331(89)90065-3openalex-snapshot
Implementing a parallel PROLOG interpreter by using OCCAM and transputers
inferred← citeshttps://doi.org/10.1016/0167-8191(88)90022-1openalex-snapshot
The 2nd international conference on vector and parallel computing: Issues in applied research and development
inferred← citeshttps://doi.org/10.1016/0743-1066(89)90012-5openalex-snapshot
Or-parallel PROLOG on shared memory multiprocessors
inferred← citeshttps://doi.org/10.1016/0743-1066(90)90054-9openalex-snapshot
Logic programming for real-time control of telecommunication switching systems
inferred← citeshttps://doi.org/10.1016/0743-1066(91)90009-eopenalex-snapshot
The reduce-or process model for parallel execution of logic programs
inferred← citeshttps://doi.org/10.1016/0743-1066(92)90053-6openalex-snapshot
Global flow analysis as a practical compilation tool
inferred← citeshttps://doi.org/10.1016/0743-1066(93)00007-fopenalex-snapshot
Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions
inferred← citeshttps://doi.org/10.1016/0950-5849(92)90037-popenalex-snapshot
Transputer-based implementation and evaluation of parallel Prolog interpreter
inferred← citeshttps://doi.org/10.1016/b978-0-444-81837-9.50016-6openalex-snapshot
A Model for Parallel Deduction
inferred← citeshttps://doi.org/10.1016/s0167-739x(97)00025-3openalex-snapshot
Parallel execution of Prolog with granularity control
inferred← citeshttps://doi.org/10.1016/s0167-8191(00)00051-xopenalex-snapshot
Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
inferred← citeshttps://doi.org/10.1016/s0743-1066(96)00067-2openalex-snapshot
Multilog and data or-parallelism
inferred← citeshttps://doi.org/10.1016/s0743-1066(96)00117-3openalex-snapshot
A parallel prolog system for distributed memory
inferred← citeshttps://doi.org/10.1016/s0743-1066(98)10022-5openalex-snapshot
Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
inferred← citeshttps://doi.org/10.1016/s1383-7621(96)00056-2openalex-snapshot
Massively parallel execution of logic programs: A static approach
inferred← citeshttps://doi.org/10.1017/s0269888900005130openalex-snapshot
A Comparative Exploration of Concurrent Logic Languages
inferred← citeshttps://doi.org/10.1017/s1471068404002030openalex-snapshot
On applying or-parallelism and tabling to logic programs
inferred← citeshttps://doi.org/10.1093/comjnl/30.5.386openalex-snapshot
Principles of the Delphi Parallel Inference Machine
inferred← citeshttps://doi.org/10.1109/71.265944openalex-snapshot
Machine independent AND and OR parallel execution of logic programs. I. The binding environment
inferred← citeshttps://doi.org/10.1109/cmpcon.1988.4830openalex-snapshot
Prolog at the University of Illinois
inferred← citeshttps://doi.org/10.1109/icpp.1993.132openalex-snapshot
P3M: A Virtual Machine Approach to Massively Parallel Computing
inferred← citeshttps://doi.org/10.1109/ims.1991.153693openalex-snapshot
Transaction specification in multidatabase systems based on parallel logic programming
inferred← citeshttps://doi.org/10.1109/isads.1995.398954openalex-snapshot
Exploiting the sources of parallelism in logic programs
inferred← citeshttps://doi.org/10.1109/lics.1989.39161openalex-snapshot
PARTHENON: a parallel theorem prover for nonHorn clauses
inferred← citeshttps://doi.org/10.1109/tai.1990.130390openalex-snapshot
Design and implementation of a parallel logic programming system
inferred← citeshttps://doi.org/10.1145/155183.155220openalex-snapshot
Analysis of Or-parallel execution models
inferred← citeshttps://doi.org/10.1145/2643135.2643150openalex-snapshot
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs
inferred← citeshttps://doi.org/10.1145/266670.266687openalex-snapshot
Evaluating parallel logic programming systems on scalable multiprocessors
inferred← citeshttps://doi.org/10.1145/291889.291897openalex-snapshot
An abstract machine for tabled execution of fixed-order stratified logic programs
inferred← citeshttps://doi.org/10.1145/316686.316688openalex-snapshot
Effectivness of abstract interpretation in automatic parallelization
inferred← citeshttps://doi.org/10.1145/322609.323126openalex-snapshot
Constructs and evaluations strategies for intelligent speculative parallelism---armageddon revisited
inferred← citeshttps://doi.org/10.1145/326619.326798openalex-snapshot
Abstract data type support in Prolog and its relation to parallelism
inferred← citeshttps://doi.org/10.1145/504083.504085openalex-snapshot
Parallel execution of prolog programs
inferred← citeshttps://doi.org/10.1145/93542.93565openalex-snapshot
Generators and the replicator control structure in the parallel environment of ALLOY
inferred← citeshttps://doi.org/10.20868/upm.thesis.14660openalex-snapshot
Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs
inferred← citeshttps://doi.org/10.20868/upm.thesis.198openalex-snapshot
Control de granularidad en la ejecución paralela de programas lógicas mediante técnicas de análisis y transformación
inferred← citeshttps://doi.org/10.20868/upm.thesis.21607openalex-snapshot
Independence, Global analysis, and parallelism, in dinamically scheduled constraint logic programming.
inferred← citeshttps://doi.org/10.20868/upm.thesis.474openalex-snapshot
Técnicas de transformación de programas lógicos para su optimización y paralelización automática
inferred← citeshttps://doi.org/10.31390/gradschool_disstheses.4783openalex-snapshot
A Framework for Efficient Execution of Logic Programs.
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.