reintroducing (| functor args |) functional terms

Author: josd

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+v11.13.0 (2025-03-25) reintroducing (| functor args |) functional terms
 v11.12.12 (2025-03-21) adding switch --no-call-residue-vars (no check for residue vars for forward rules) to fix issue https://github.com/eyereasoner/eye/issues/145
 v11.12.11 (2025-03-21) fixing issue https://github.com/eyereasoner/eye/issues/145
 v11.12.10 (2025-03-19) fixing default quantify uri prefix

VERSION

@@ -1 +1 @@
-11.12.12
+11.13.0

eye.pl

@@ -23,7 +23,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v11.12.12 (2025-03-21)').
+version_info('EYE v11.13.0 (2025-03-25)').
 
 license_info('MIT License
 
@@ -2224,6 +2224,11 @@
     {   sort(List, Distinct)
     },
     ['$', ')'].
+pathitem(fterm(List), Triples) -->
+    ['(', '|'],
+    !,
+    pathlist(List, Triples),
+    ['|', ')'].
 pathitem(List, Triples) -->
     ['('],
     !,
@@ -4221,6 +4226,11 @@
     write('($'),
     wl(X),
     write(' $)').
+wt1(fterm(X)) :-
+    !,
+    write('(|'),
+    wl(X),
+    write(' |)').
 wt1('$VAR'(X)) :-
     !,
     write('?V'),
@@ -12960,6 +12970,8 @@
     !.
 raw_type(set(_), '<http://www.w3.org/2000/10/swap/log#Set>') :-
     !.
+raw_type(fterm(_), '<http://www.w3.org/2000/10/swap/log#FunctionalTerm>') :-
+    !.
 raw_type(A, '<http://www.w3.org/2000/10/swap/log#Formula>') :-
     functor(A, B, C),
     B \= ':',

eye.zip

@@ -1,3 +1,3 @@
 @prefix : <https://eyereasoner.github.io/ns#>.
 
-:joe :is (:good :Cobbler).
+:joe :is (| :good :Cobbler |).

reasoning/good-cobbler/cobbler-answer.n3

@@ -7,12 +7,12 @@
 skolem:proof a r:Proof, r:Conjunction;
     r:component skolem:lemma1;
     r:gives {
-        :joe :is (:good :Cobbler).
+        :joe :is (| :good :Cobbler |).
     }.
 
 skolem:lemma1 a r:Inference;
     r:gives {
-        :joe :is (:good :Cobbler).
+        :joe :is (| :good :Cobbler |).
     };
     r:evidence (
         skolem:lemma2
@@ -23,16 +23,16 @@ skolem:lemma1 a r:Inference;
 
 skolem:lemma2 a r:Extraction;
     r:gives {
-        :joe :is (:good :Cobbler).
+        :joe :is (| :good :Cobbler |).
     };
     r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/good-cobbler/cobbler.n3>].
 
 skolem:lemma3 a r:Extraction;
     r:gives {
         @forAll var:x_0, var:x_1. {
-            var:x_0 :is (:good var:x_1).
+            var:x_0 :is (| :good var:x_1 |).
         } => {
-            var:x_0 :is (:good var:x_1).
+            var:x_0 :is (| :good var:x_1 |).
         }.
     };
     r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/good-cobbler/cobbler-query.n3>].

reasoning/good-cobbler/cobbler-proof.n3

@@ -2,7 +2,7 @@
 
 # is there some x which is good at some y
 {
-    ?X :is (:good ?Y).
+    ?X :is (| :good ?Y |).
 } => {
-    ?X :is (:good ?Y).
+    ?X :is (| :good ?Y |).
 }.

reasoning/good-cobbler/cobbler-query.n3

@@ -5,4 +5,4 @@
 @prefix : <https://eyereasoner.github.io/ns#>.
 
 # joe is a good cobbler
-:joe :is (:good :Cobbler).
+:joe :is (| :good :Cobbler |).