Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
% s(CASP) Programming :- use_module(library(scasp)). % Your program goes here false :-q,r(1). q. r(2). r(1). thing:-q,r(1). p(X):- X #>2. /** <examples> Your example queries go here, e.g. ?- ? q. ?- ? r(1). ?- ? thing. ?- ? p(X). */