首页
标签
existential-operator
Prolog：存在量化
TSQL IN 和 NOT IN
Prolog事实中的存在量化
prolog 能否回答不确定而不是仅仅回答是或否？