DCG中是否有NOT运算符

Question

我认为标题中的问题很清楚，我在DCG中找不到关于NOT运算符的任何文档，而它存在于prolog中。 无论如何要做到这一点？任何一个例子？

提前致谢。