Prolog：prolog可以检测到不存在的事实吗？

Question

我是Prolog的初学者，这是我的问题：

我想构建一个随时添加事实的KB。

在我的初始KB中，我没有这样的事实：selected(veggies).

但是，在我的代码中，我想根据是否选择（..）进行验证。事实上存在（不仅是蔬菜，还有其他蔬菜），这在Prolog中是否可行？

类似的东西：

if(selected(X)):
   ...
else: false.