diff --git a/reasoning/conflict-resolution-test/conflict-resolution.pl b/reasoning/conflict-resolution-test/conflict-resolution.pl
index b4b595316..76c3051cd 100644
--- 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
index 9c2a89bc0..57941c59b 100644
--- 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
index 81e345a96..65069acd9 100644
--- 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).