Process Specification of Logic Programs.

Ramaswamy Ramanujam R. K. Shyamasundar

Published in: FSTTCS (1984)

Keyphrases

logic programs
logic programming
answer set programming
background knowledge
answer sets
stable models
fixpoint
term rewriting systems
inductive logic programming
horn clauses
declarative programming
logic program updates