An And-Parallel Dataflow Model For Logic Programs Based On Mode Prediction.

Tae-Choong Chung Jung Wan Cho

Published in: Aust. Comput. J. (1988)

Keyphrases

logic programs
logic programming
high level
background knowledge
conceptual model
stable models
accurate models