A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.

Amadeo Casas Manuel Carro Manuel V. Hermenegildo

Published in: ICLP (2008)

Keyphrases

high level
low level
black box
programming language
parallel computers
knowledge base
higher level
efficient implementation