Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
% s(CASP) Programming :- use_module(library(scasp)). % Uncomment to suppress warnings %:- style_check(-discontiguous). %:- style_check(-singleton). %:- set_prolog_flag(scasp_unknown, fail). % Your program goes here dance_partner(X,Y) :- person(X), person(Y), X \= Y. person(a). person(b). /** <examples> Your example queries go here, e.g. ?- ? p(X). */