running with scryer

eyereasoner · Feb 4, 2025 · be5ea92 · be5ea92
1 parent 4e86d82
commit be5ea92
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/reasoning/conflict-resolution-test/conflict-resolution.pl b/reasoning/conflict-resolution-test/conflict-resolution.pl
@@ -4,6 +4,8 @@
 
 :- discontiguous((:+)/2).
 
+:- dynamic(policy/3).
+
 % context
 '<https://eyereasoner.github.io/ns#accessControl>'(User, Resource, Decision) :-
     access_control(User, Resource, Decision).