Serialisation Analysis of Concurrent Logic Programs.

Andy King Paul Soper

Published in: ALP (1992)

Keyphrases

logic programs
logic programming
background knowledge
fixpoint
inductive logic programming
answer sets
stable models
artificial intelligence
high level
answer set programming
horn clauses
normal logic programs
monotonicity constraints
term rewriting systems