<問題> ユーザ定義述語が多数定義済みの環境を考えます。
定義済み節の本体に現れる副目標を引数に与えて、
その副目標を含む述語定義をすべて表示する述語を
定義しなさい。