Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
% s(CASP) Programming :- use_module(library(scasp)). engine(turns) :- battery(nonempty). battery(X) :- not -battery(X). /** <examples> Your example queries go here, e.g. ?- ? engine(turns). */