Study of a Parallel Inference Machine for Parallel Execution of Logic Programs.

Yaoqing Gao Chengzheng Sun Shouren Hu

Published in: CONPAR (1990)

Keyphrases

logic programs
parallel execution
logic programming
answer sets
answer set programming
fixpoint
parallel processing
stable models
inductive logic programming
computational properties
parallel computing
partial deduction
cost model
parallel machines
shared memory
data partitioning
knowledge base