pl3.5.6.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

%query: p(o).

% mode: p[o]
p(X) :- l(X), q(X).

% mode: q[o]
q([A]).

% mode: r[o]
r(1).

% mode: l[o]
l([]).
l([H|T]) :- r(H),l(T).

popout

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

actions get anonymous link download benchmark