adding list:permutation built-in

eyereasoner · Jan 10, 2025 · 6868be0 · 6868be0
1 parent 23949fd
commit 6868be0
Show file tree

Hide file tree

Showing 6 changed files with 15 additions and 4 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v11.4.4 (2025-01-10) adding list:permutation built-in
 v11.4.3 (2025-01-09) investigating alternative proofs
 v11.4.2 (2025-01-08) fixing within_scope(Context, -1) which should be used in backward rules
 v11.4.1 (2025-01-07) improving --explain

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-11.4.3
+11.4.4
diff --git a/eye-builtins.n3 b/eye-builtins.n3
@@ -121,6 +121,7 @@ list:memberAt a e:Builtin.
 list:multisetEqualTo a e:Builtin.
 list:multisetNotEqualTo a e:Builtin.
 list:notMember a e:Builtin.
+list:permutation a e:Builtin.
 list:remove a e:Builtin.
 list:removeAt a e:Builtin.
 list:removeDuplicates a e:Builtin.

diff --git a/eye.pl b/eye.pl
@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v11.4.3 (2025-01-09)').
+version_info('EYE v11.4.4 (2025-01-10)').
 
 license_info('MIT License
 
@@ -7003,6 +7003,15 @@
         )
     ).
 
+'<http://www.w3.org/2000/10/swap/list#permutation>'(A, B) :-
+    when(
+        (   nonvar(A)
+        ),
+        (   getlist(A, C),
+            permutation(C, B)
+        )
+    ).
+
 '<http://www.w3.org/2000/10/swap/list#remove>'([A, B], C) :-
     when(
         (   nonvar(A),

diff --git a/eye.zip b/eye.zip
diff --git a/reasoning/test b/reasoning/test
@@ -8,11 +8,11 @@ NORMAL="\e[0;39m"
 OK=0
 FAILED=0
 
-echo -e "${YELLOW}---------------------${NORMAL}"
+echo -e "${YELLOW}--------------------------${NORMAL}"
 echo -e "${YELLOW}Running eye reasoning${NORMAL}"
 echo -e "${YELLOW}eye v$(eye --version 2>&1 | grep EYE | awk '{ print substr($2,2) }')${NORMAL}"
 echo -e "${YELLOW}swipl v$(swipl --version 2>&1 | awk '{ print $3 }')${NORMAL}"
-echo -e "${YELLOW}---------------------${NORMAL}"
+echo -e "${YELLOW}--------------------------${NORMAL}"
 echo ""
 
 pad () {