Negation in Conclog.

Jean-Marie Jacquet

Published in: ACPC (1991)

Keyphrases

logic programs
logic programming
containment of conjunctive queries
deductive databases
databases
data mining
fixpoint
neural network
information technology
derivation rules
compositional semantics
information systems
similarity measure
expressive power
datalog programs