Compile-Time Analysis of Concurrent Logic Programs for Multi-processors.

Andy King Paul Soper

Published in: Dagstuhl Seminar on Parallelization in Inference Systems (1990)

Keyphrases

logic programs
logic programming
answer set programming
answer sets
partial deduction
background knowledge
fixpoint
general purpose
nonmonotonic reasoning
computational properties
prolog programs