Unfold/Fold Transformations For Definite Clause Programs.

Manolis Gergatsoulis Maria Katzouraki

Published in: PLILP (1994)

Keyphrases

prior knowledge
definite clause
logic programs
pac learnability
artificial intelligence
upper bound
databases
association rules
programming language