标签： prolog
我是prolog的初学者，我开始编写这个简单的程序
case(a):-case(b),case(c). case(b):-case(d),case(e). case(d). case(d):-case(c). case(d):-case(e).
如果我要求prolog：？ - case（a），则返回FALSE。它不应该返回TRUE吗？