设置回溯点，就是设置（）

A.事实表达式的与或树
B.目标公式的与或树
C.与或树
D.证明树

A.左上位置
B.中上位置
C.中央位置
D.中左位置

A.F∈{x}，当目标F在综合数据库中出现时，则F被求得。
B.F∈{x}，当目标F在综合数据库中出现时，则F一定不被求得。
C.F不包含于{x}，当目标F不在综合数据库中出现时，则F被求得。
D.F不包含于{x}，当目标F不在综合数据库中出现时，则F一定被求得。