mergelis.pro

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

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).
goal
	merge([1,2,3,6,7,8],[2,4,6,7,9,10],M),
	write(M).