I still think that, in addition to selective AND-parallelism and OR-parallelism, MapReduce for some predicates, Join Calculus is the way to go for introducing concurrency in Prolog

· · Web · 0 · 0 · 0
Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!