Concurrent Logic Programming

A parallel programming approach using guarded clauses and shared logical variables, exemplified by Parlog and Concurrent Prolog.

Neighborhood — ranked by edge-count

paper

concept

Linda
contradicts
The core parallel programming model introduced in this paper, based on tuple space operations and orthogonal to any base language.
Parlog86
extends
Concurrent logic language; Linda authors demonstrate simpler solutions to client-server and dining philosophers problems.

claim

framework

Concurrent Prolog
extends
An early concurrent logic programming language.
Parlog
implements
A concurrent logic language featured prominently in recent ACM literature; used as a primary comparison point for Linda.

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

Concurrent Object-Oriented Programmingframework0.840
A major competing approach to parallel programming based on instantiating objects with embedded active processes and monitors for synchronization.
Concurrent Pascalframework0.813
A language designed by Brinch Hansen that explored monitors; cited in the comparison.
Parallel Programmingconcept0.790
Monitor (Concurrent Programming)concept0.771
logical representation of programsconcept0.754
The idea that programs can be expressed as logical sentences, enabling direct deductive verification.
Linear Combinatory Logicframework0.738
A resource-sensitive combinatory algebra with modalities for copying; provides a fine-grained model of computation.
Continuous Relaxation of Logic Operationsconcept0.736
Key technique enabling gradient-based training of discrete logic gates by replacing binary operations with differentiable approximations
Convergent validity logicconcept0.733
Framework borrowed from human metacognition research: when probe and self-report agree, confidence in both increases as they partially track the same underlying state