flat-bf.pl

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

flat([],[]).
flat([[]|T],R) :- flat(T,R).
flat([[H|T]|TT], [H|R]) :- flat([T|TT],R).


/*TWDESC

flatten a list

*/


/*TWTYPES

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([list,list_2,poly]).

query(flat(b,b,f,f,f,f)).
query(flat(b,f,b,f,f,f)).
query(flat(b,f,f,b,f,f)).
query(flat(b,f,f,f,b,f)).
query(flat(f,b,f,f,f,f)).


*/
popout

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

actions get anonymous link download benchmark