Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs.

Flávio Cruz Ricardo Rocha Seth Copen Goldstein

Published in: PPDP (2014)

Keyphrases

logic programs
virtual machine
logic programming
answer sets
stable models
operating system
background knowledge
fixpoint
partial deduction
answer set programming
computational properties
stable model semantics
normal logic programs
database
data center
functional programs