refreshing

eyereasoner · Apr 21, 2023 · 67626ad · 67626ad
1 parent bcd93b9
commit 67626ad
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/eye.pl b/eye.pl
@@ -739,15 +739,15 @@
                     catch(call(H), _, false),
                     '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, H)
                     ), false, '<>')),
-    % simplify positive surface in negative surface
+    % simplify positive surface
     assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
                     conj_list(G, L),
                     select('<http://www.w3.org/2000/10/swap/log#onPositiveSurface>'([], H), L, K),
                     conj_list(H, D),
                     append(K, D, E),
                     conj_list(F, E)
                     ), '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, F), '<>')),
-    % simplify graffiti in negative surface
+    % simplify graffiti
     assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
                     findvars(G, U, beta),
                     findall(M,