plumer356.pl

details

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

contents

% Adapted from talp_plumer/pl3.5.6.pl
% terminating

%query: p(o).
p(X) :- l(X),!,q(X).
q([A]).
r(1).
l([]).
l([H|T]) :- r(H),l(T).

popout

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

actions get anonymous link download benchmark