标签： prolog
有人可以解释我如何转换
:- op(500, xfy, v). conver(X,List)
我会用它作为转换器列出如下：
convert(p v q v r, L)
结果返回列表中只有变量：
L= [p,q,r]