merge.pl

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:07.0
disk size 337 Bytes
downloadable true
type
attribute value
name no_type
processor id 1
description this is the default benchmark type for rejected benchmarks and benchmarks that are not associated with a type.
owning community none
loading contents
%query: merge(i,i,o).

% mode: merge[i,i,o]
merge([],X,X).
merge(X,[],X).
merge([X|Xs],[Y|Ys],[X|Zs]) :- leq(X,Y),merge(Xs,[Y|Ys],Zs).
merge([X|Xs],[Y|Ys],[Y|Zs]) :- less(Y,X),merge([X|Xs],Ys,Zs).

% mode: less[i,i]
less(0, s(0)).
less(s(X), s(Y)) :- less(X, Y).

% mode: leq[i,i]
leq(0, 0).
leq(0, s(0)).
leq(s(X), s(Y)) :- leq(X, Y).

popout

content may be truncated. 'popout' for larger text window.

actions get anonymous link download benchmark