Sign in

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

Amadeo CasasManuel CarroManuel V. Hermenegildo
Published in: ICLP (2008)
Keyphrases
  • high level
  • low level
  • black box
  • programming language
  • parallel computers
  • knowledge base
  • higher level
  • efficient implementation