如果元素不等于string，则Prolog将添加到列表中

Question

我正在尝试创建一个具有非null Guard元素的对列表。

get_only_guarded(L) :-
    Guard \= null,
    findall([S,D],transition(S,D,_,Guard,_),L).

这是我尝试过但它似乎没有用。什么是正确的方法？

Answer 1

请改用dif(Guard,null)。小心处理(\=)/2！

Answer 2

更“传统”的做法：在实例化后推送测试

get_only_guarded(L) :-
    findall([S,D], (transition(S,D,_,Guard,_),Guard \= null), L).