Inductive Inference of Prolog Programs with Linear Data Dependency from Positive Dataに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。