Login / Signup
A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs.
Prasenjit Biswas
Shyh-Chang Su
David Y. Y. Yun
Published in:
ICLP/SLP (1988)
Keyphrases
</>
logic programs
logic programming
abstract machine
high level
databases
background knowledge
inductive logic programming
metamodel
answer set programming