Variable Threadedness Analysis for Concurrent Logic Programs.

R. Sundararajan A. V. S. Sastry Evan Tick

Published in: JICSLP (1992)

Keyphrases

logic programs
logic programming
answer sets
answer set programming
normal logic programs
inductive logic programming
computational properties
partial deduction
fixpoint
stable models
prolog programs
term rewriting systems