Proving Definite Clauses without Explicit Use of Inductions.

Akito Sakurai Hiroshi Motoda

Published in: LP (1988)

Keyphrases

real time
first order logic
social networks
website
database
databases
data mining
artificial intelligence