是否可以使用“;” 在 SWI-Prolog 的查询中？

Question

我是 Prolog 的新手，我现在正在学习 SWI-Prolog，我想知道我是否可以使用“;” 在表示分离查询条件的查询中，例如，我写了这个查询

?-p(a,V1,V2),(V1=b;V1=null),(V2=c;V2=null)

并想检查是否存在事实 p/3，其中

1. 第一项应该是常数“a”；

2. 第二项应该是常数“b”或 null；

3. 第三项应该是常数“c”或 null。

我想知道这是否是进行查询的正确方法以及是否存在更简洁的形式，例如

?-p(a,(b;null),(c;null))

谢谢！

Answer 1

是的你可以。

编写查询

p(a,V1,V2),(V1=b;V1=null),(V2=c;V2=null).

在?-提示符之后只是添加子句的更直接方式

myquery(V1,V2) :- p(a,V1,V2),(V1=b;V1=null),(V2=c;V2=null).

然后问

?- myquery(V1,V2).

（ myquery/2是一个新出现的任意谓词）。

顺便说一句，该条款

myquery(V1,V2) :- p(a,V1,V2),(V1=b;V1=null),(V2=c;V2=null).

也可以写成“相乘”，即：

myquery :- p(a,b,c).
myquery :- p(a,b,null).
myquery :- p(a,null,c).
myquery :- p(a,null,null).