decrement([], []).
decrement([H|T], [H1|T1]) :- H1 is H-1, decrement(T, T1).
示例:
?- decrement([2,3,4], L).
L = [1, 2, 3]
上一篇:编写Prolog程序,实现判断一个数字列表的元素是否为等比数列的谓词is_progression。
下一篇:编写protobuf以表示map<string,重复的map<string,string>>