Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
% s(CASP) Programming :- use_module(library(scasp)). :- style_check(-discontiguous). :- style_check(-singleton). % Your program goes here p(a). q(b, 2). p(c). p(X) :- q(X, N). /** <examples> Your example queries go here, e.g. ?- ? p(X). */