YapOr

swMATH13882MaRDI QIDQ25793FDOQ25793

Author name not available (Why is that?)

Cited In (7)

• Logic Programming
• On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
• On applying or-parallelism and tabling to logic programs
• PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters
• Title not available (Why is that?)
• Threads and or-parallelism unified
• Title not available (Why is that?)

This page was built for software: YapOr