A formal definition and a sound implementation of analogical reasoning in logic programming. - Stefania Costantini; Gaetano Aurelio Lanzarone; L. Sbarbaro (Ann. Math. Artif. Intell., 1995)