我在数据库中有类似的东西。
flight( tk1, ist, esb, 40 ).
flight( tk2, ist, mlx, 90 ).
我写了一个谓词,叫做测试。
test([S], L1):-
findall( C, (flight( _, S, C, _ )), L1 ).
我写的时候的输出test([ist], X).
是X = [esb, mlx].
所以这是真的,但是当我写test(X, [esb, mlx]).
的时候是false
。为什么呢false
?我应该为此写另一个谓词吗?