Login / Signup
Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited.
Francisco Bueno
Published in:
GULP-PRODE (1) (1994)
Keyphrases
</>
logic programs
logic programming
answer set programming
inside outside algorithm
answer sets
prolog programs
orders of magnitude
search strategies
fixpoint
stable models