Some Aspects of the Static Semantics of Logic Programs with Monadic Functions.

Patrizia Asirelli

Published in: Logic Programming Workshop (1983)

Keyphrases

deductive databases
semantics of logic programs
logic programming
artificial intelligence
query evaluation
datalog queries
database
knowledge base
logic programs
integrity constraints
fixpoint