Design and Implementation of Jump Tables for Fast Indexing of Logic Programs

Steven Dawson C. R. Ramakrishnan I. V. Ramakrishnan

Published in: PLILP (1995)

Keyphrases

logic programs
logic programming
answer sets
fixpoint
stable models
answer set programming
database
partial deduction
background knowledge
databases
term rewriting systems
prolog programs
computational properties
inductive logic programming
software engineering
object oriented
conceptual model
logic program updates