A Decidable Second-Order Unification Problem.

Published in: UNIF (1995)

Keyphrases

function symbols
logic programs
higher order
first order logic
knuth bendix
equational theories
answer set programming

normal form
logic programming
reasoning tasks
horn clauses
answer sets
databases
theorem prover

multi agent
artificial intelligence
data sets
inference rules
deductive databases
data model
fixpoint

datalog programs
consistency checking
genetic algorithm
automated theorem proving
tuple generating dependencies
real world