confdel.pl

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:07.0
disk size 302 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: conf(i).

/* from Stefaan Decorte, Danny De Schreye, Henk Vandecasteele, 1997 */

conf(X) :- del2(X,Z), del(U,Y,Z), conf(Y).
del2(X,Y) :- del(U,X,Z), del(V,Z,Y).
del(X,[X|T],T).
del(X,[H|T],[H|T1]) :- del(X,T,T1).
    
s2l(s(X),[Y|Xs]):- s2l(X,Xs).
s2l(0, []).

goal(X) :- s2l(X,XS), conf(XS).
popout

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

actions get anonymous link download benchmark