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). refuted(R,C) :- opposes(C,OC), overrules(OR,R), according_to(OR,OC). defeated(R,C) :- refuted(R,C). legally_holds(R,C) :- according_to(R,C), not defeated(R,C). bird(X) :- penguin(X). opposes(flies(X,true),flies(X,false)). opposes(flies(X,false),flies(X,true)). thing(X) :- bird(X). according_to(sec_2_section, flies(A,true)) :- bird(A). according_to(sec_2__span_penguin_section, flies(A,false)) :- penguin(A). overrules(sec_2__span_penguin_section,sec_2_section). penguin(tweety). bird(tweety). thing(tweety). %opposes(flies(X,true),anything).