adding experimental log:isomorphic built-in

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+[v3.15.0] adding experimental log:isomorphic built-in
 [v3.14.1] fixing log:notEqualTo built-in
 [v3.14.0] relabeling the blogic graffiti (obs from Ruben Dedecker)
 [v3.13.0] improving blogic resolution

VERSION

@@ -1 +1 @@
-3.14.1
+3.15.0

eye-builtins.n3

@@ -145,6 +145,7 @@ log:implies a e:Builtin.
 log:includes a e:Builtin.
 log:includesNotBind a e:Builtin.
 log:inferences a e:Builtin.
+log:isomorphic a e:Builtin.
 log:langlit a e:Builtin.
 log:localN3String a e:Builtin.
 log:localName a e:Builtin.

eye.pl

@@ -20,7 +20,7 @@
 :- use_module(library(semweb/turtle)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v3.14.1').
+version_info('EYE v3.15.0').
 
 license_info('MIT License
 
@@ -6789,6 +6789,10 @@
     ;   B = C
     ).
 
+'<http://www.w3.org/2000/10/swap/log#isomorphic>'(A, B) :-
+    makevars(A, C, beta),
+    \+ \+unify(C, B).
+
 '<http://www.w3.org/2000/10/swap/log#langlit>'([literal(A, type('<http://www.w3.org/2001/XMLSchema#string>')), literal(B, type('<http://www.w3.org/2001/XMLSchema#string>'))], literal(A, lang(B))).
 
 '<http://www.w3.org/2000/10/swap/log#localN3String>'(A, literal(B, type('<http://www.w3.org/2001/XMLSchema#string>'))) :-

reasoning/blogic/isomorphic-answer.n3

@@ -0,0 +1,5 @@
+@prefix : <urn:example:>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+
+<urn:example:test> <urn:example:is> true.
+

reasoning/blogic/isomorphic.n3

@@ -0,0 +1,27 @@
+@prefix : <urn:example:> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+(_:S1 _:S2) log:onNegativeSurface {
+
+    _:S1 log:equalTo {
+        (_:V) log:onNegativeSurface {
+            _:V a :C .
+        } .
+    } .
+
+    _:S2 log:equalTo {
+        (_:E) log:onNegativeSurface {
+            _:E a :C .
+        } .
+    } .
+
+    _:S1 log:isomorphic _:S2 .
+
+    () log:onNegativeSurface {
+        :test :is true .
+    } .
+} .
+
+() log:onQuerySurface {
+    :test :is true .
+} .

reasoning/blogic/test

@@ -33,6 +33,7 @@ eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://
 eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/fuse.n3 --output fuse-answer.n3
 eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/gps.n3 --output gps-answer.n3
 eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/gray-code-counter.n3 --output gray-code-counter-answer.n3
+eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/isomorphic.n3 --output isomorphic-answer.n3
 eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/lubm.n3 --turtle http://eyereasoner.github.io/eye/reasoning/lubm/facts.ttl --output lubm-answer.n3
 eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/notEqual.n3 --output notEqual-answer.n3
 eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/notEqual2.n3 --output notEqual2-answer.n3