listadd.bak

来自「人工智能课程学习中的作业」· BAK 代码 · 共 10 行

domains
	list=integer*
	int=integer
predicates
	adder(list,int)
	add1(list,int,int)
clauses
	adder(T,S):-add1(T,0,S).
	add1([],S,S).
	add1([H|T],X,S):-A=X+H,add1(T,A,S).