标签: prolog
我的排序列表有问题,如:
sort([p v q v r, p, p v q], R).
预期结果是
R = [p, p v q, p v q v r]
在swi-prolog中是否有任何内置类型允许我或我必须自己编写。