从swi序言中的整数列表中删除一个公共数字

Question

我使用swi-prolog。如何从一个整数列表中删除一个公共数字？例如，如果列表是X = [11,12,13,14,15]，我需要从中删除10，那么列表将变为X = [1,2,3,4,5]。 帮助required.Thanks。

Answer 1

您可以尝试

substract(N, L1, L2) :- 
    maplist(sub(N), L1, L2). 

sub(N, V1, V2) :- 
    V2 is V1 - N.