Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:- use_module(library(scasp)). validate(L) :- findall(X, member(X,L), LL), LL = L. member(X1, [X2|_]) :- X1 #= X2. member(X, [_|R]) :- member(X, R). /** <examples> Your example queries go here, e.g. ?- ? validate([1,2,3]). */