mergelis.bak

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

domains
	list=integer*
predicates
	merge(list,list,list)
clauses
	merge([],X2,X2):-!.
	merge(X1,[],X1):-!.
	merge([H1|T1],[H2|T2],[H1|T3]):-H1<=H2,!,
			    merge(T1,[H2|T2],T3).
	merge([H1|T1],[H2|T2],[H2|T3]):-
			    merge([H1|T1],T2,T3).