Directional Type Checking of Logic Programs

Alexander Aiken T. K. Lakshman

Published in: SAS (1994)

Keyphrases

logic programs
type checking
logic programming
data types
answer sets
query processor
answer set programming
fixpoint
stable models
normal logic programs
object model
relational calculus
partial deduction
abstract data types
strong equivalence
range queries
data model
query processing
database systems
knowledge base