A Prototype System for Equational Constructive Negation.

A. Mora J. Piris María José Ramírez Moreno Falaschi

Published in: ILPS (1993)

Keyphrases

horn clauses
theorem proving
test bed
logic programming
multiscale
database
equational theories
predicate logic
logic programs
high level
real world
databases
data sets
image sequences
social networks
deductive databases
real time