Skip to main content

An AND-OR Parallel Execution System for Logic Program Evaluation

New Image

Logic programs have been known to contain various kinds of parallelisms, most notably the AND- and OR-parallelisms.