問.次のような論理プログラムを考える

　　A←
　　E←
　　F←
　　B←C
　　C←A,E
　　D←F

目標節を　←B,D　としたとき、空節までが得られるまでＳＬＤ反駁を繰り返せ



･･･とりあえず、全く理解できんのでわかりやすく教えてくれ|||orz