Induction of Logic Programs by Example-Guided Unfolding

Henrik Boström, Peter Idestam-Almquist. Induction of Logic Programs by Example-Guided Unfolding. Journal of Logic and Algebraic Programming, 40(2-3):159-183, 1999.

Abstract

Abstract is missing.