YapOr

swMATH13882MaRDI QIDQ25793FDOQ25793

Author name not available (Why is that?)

Cited In (7)

• Logic Programming
• 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?)
• On the implementation of an or-parallel Prolog system for clusters of multicores
• Threads and or-parallelism unified
• Title not available (Why is that?)

This page was built for software: YapOr