having functional terms as triple terms <<( functor func:args (argume…

…nts) )>>

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.25.1 (2024-10-17) having functional terms as triple terms <<( functor func:args (arguments) )>>
 v10.25.0 (2024-10-17) introducing (^ functor args) functional terms
 v10.24.23 (2024-10-16) adding list:reverse built-in and rdfdatasets lee example
 v10.24.22 (2024-10-15) not asserting graph:statement when the name is in use

VERSION

@@ -1 +1 @@
-10.25.0
+10.25.1

eye.pl

@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v10.25.0 (2024-10-17)').
+version_info('EYE v10.25.1 (2024-10-17)').
 
 license_info('MIT License
 
@@ -2140,11 +2140,6 @@
     {   sort(List, Distinct)
     },
     ['$', ')'].
-pathitem(functional(List), Triples) -->
-    ['(', '^'],
-    !,
-    pathlist(List, Triples),
-    [')'].
 pathitem(List, Triples) -->
     ['('],
     !,
@@ -4127,11 +4122,6 @@
     write('($'),
     wl(X),
     write(' $)').
-wt1(functional(X)) :-
-    !,
-    write('(^'),
-    wl(X),
-    write(')').
 wt1('$VAR'(X)) :-
     !,
     write('?V'),

reasoning/good-cobbler/cobbler.n3

@@ -2,14 +2,15 @@
 # Example from https://shs.hal.science/halshs-04148373/document
 # Using term logic http://intrologic.stanford.edu/chapters/chapter_11.html
 
+@prefix func: <http://www.w3.org/2000/10/swap/func#>.
 @prefix : <urn:example:>.
 
 # some x is a good cobbler
-_:x :is (^ :good :Cobbler).
+_:x a <<( :good func:args (:Cobbler) )>>.
 
 # is there some x which is good at some y
 {
-    ?x :is (^ :good ?y).
+    ?x a <<( :good func:args (?y) )>>.
 } =^ {
     :test :is true.
 }.

reasoning/peano/peano-answer.n3

@@ -1,3 +1,4 @@
 @prefix : <http://example.org/#>.
+@prefix func: <http://www.w3.org/2000/10/swap/func#>.
 
-(^ :s (^ :s (^ :s (^ :s (^ :s 0))))) :factorial (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s (^ :s 0)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))).
+<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (0) )>>) )>>) )>>) )>>) )>> :factorial <<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (<<( :s func:args (0) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>) )>>.