flatlength-bff.pl

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:07.0
disk size 698 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: fl(i,o,o).
%TWTYPES :- type fl(list,list,nat).

fl([],[],0).
fl([E|X],R,s(Z)) :-
        append(E,Y,R),
        fl(X,Y,Z).


%TWTYPES :- type append(list,list,list).

append([],X,X).
append([X|Xs],Ys,[X|Zs]) :-
        append(Xs,Ys,Zs).


/*TWDESC

flatten a list

*/


/*TWTYPES

nat(0).
nat(s(X)) :- nat(X).

list([]).
list([X|Xs]) :-
	list_2(X),
	list(Xs).

list_2([]).
list_2([X|Xs]) :-
	poly(X),
	list_2(Xs).

poly(dummy).
*/


/*TWDEMO

selected_norms([poly]).

query(fl(b,b,f,f,f,f,f,f,f,f,f,f)).
query(fl(b,f,f,f,b,f,f,f,f,f,f,f)).
query(fl(b,f,f,f,f,b,f,f,f,f,f,f)).
query(fl(f,b,f,f,f,f,f,f,f,f,f,f)).
query(fl(f,f,f,f,b,f,f,f,f,f,b,f)).
query(fl(f,f,f,f,f,b,f,f,f,f,b,f)).



*/
popout

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

actions get anonymous link download benchmark