adding log:copy built-in

eyereasoner · Dec 12, 2023 · f73aacd · f73aacd
1 parent 2a61255
commit f73aacd
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 2 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v9.0.14 (2023-12-12) adding log:copy built-in
 v9.0.13 (2023-12-12) using lingua variables in the var: namespace
 v9.0.12 (2023-12-12) reverting lingua
 v9.0.11 (2023-12-11) for isomorphic rules use the rule with the least blank nodes

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-9.0.13
+9.0.14
diff --git a/eye.pl b/eye.pl
@@ -21,7 +21,7 @@
 :- use_module(library(pcre)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v9.0.13 (2023-12-12)').
+version_info('EYE v9.0.14 (2023-12-12)').
 
 license_info('MIT License
 
@@ -7039,6 +7039,9 @@
     '<http://www.w3.org/2000/10/swap/log#semantics>'(A, C),
     '<http://www.w3.org/2000/10/swap/log#n3String>'(C, B).
 
+'<http://www.w3.org/2000/10/swap/log#copy>'(X, Y) :-
+    copy_term_nat(X, Y).
+
 '<http://www.w3.org/2000/10/swap/log#dtlit>'([A, B], C) :-
     when(
         (   ground(A)

diff --git a/eye.zip b/eye.zip