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 vertex(a). vertex(b). vertex(c). edge(a,b). edge(b,c). edge(c,a). color(red). color(green). color(blue). colorize(N,C) :- vertex(N), color(C). false :- edge(N1,N2), colorize(N1,C), colorize(N2,C). /** <examples> Your example queries go here, e.g. ?- ? colorize(N,C). ?- scasp(colorize(N,C), [model(M)]). */