refreshing

eyereasoner · Feb 4, 2025 · 791f0c1 · 791f0c1
1 parent 2e88390
commit 791f0c1
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/reasoning/conflict-resolution-test/conflict-resolution.pl b/reasoning/conflict-resolution-test/conflict-resolution.pl
@@ -1,7 +1,8 @@
 % policy conflict resolution example
 
 :- op(1200, xfx, :+).
-:- discontiguous (:+)/2.
+
+:- discontiguous((:+)/2).
 
 % context
 '<https://eyereasoner.github.io/ns#accessControl>'(User, Resource, Decision) :-

diff --git a/reasoning/dijkstra-test/dijkstra.pl b/reasoning/dijkstra-test/dijkstra.pl
@@ -3,7 +3,7 @@
 
 :- op(1200, xfx, :+).
 
-:- discontiguous (:+)/2.
+:- discontiguous((:+)/2).
 
 :- dynamic(edge/2).
 

diff --git a/reasoning/healthcare-access-control/healthcare-access-control.pl b/reasoning/healthcare-access-control/healthcare-access-control.pl
@@ -2,8 +2,8 @@
 
 :- op(1200, xfx, :+).
 
-:- discontiguous (:+)/2.
-:- discontiguous user_permission/3.
+:- discontiguous((:+)/2).
+:- discontiguous(user_permission/3).
 
 :- dynamic(user_permission/3).