introducing ^(functor args) compound terms

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.29.0 (2024-11-05) introducing ^(functor args) compound terms
 v10.28.9 (2024-11-04) using RDF Proofs
 v10.28.8 (2024-11-03) using proofpackets instead of reasongraphs
 v10.28.7 (2024-11-02) using reasongraphs instead of rdfproof

VERSION

@@ -1 +1 @@
-10.28.9
+10.29.0

eye.pl

@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v10.28.9 (2024-11-04)').
+version_info('EYE v10.29.0 (2024-11-05)').
 
 license_info('MIT License
 
@@ -2148,6 +2148,11 @@
     {   sort(List, Distinct)
     },
     ['$', ')'].
+pathitem(compound_term(List), Triples) -->
+    [caret_lb],
+    !,
+    pathlist(List, Triples),
+    [')'].
 pathitem(List, Triples) -->
     ['('],
     !,
@@ -2824,6 +2829,11 @@
     !,
     get_code(In, _),
     get_code(In, C).
+token(0'^, In, C, caret_lb) :-
+    peek_code(In, 0'(),
+    !,
+    get_code(In, _),
+    get_code(In, C).
 token(C0, In, C, Token) :-
     name(C0, In, C1, Name),
     !,
@@ -4169,6 +4179,12 @@
     write('($'),
     wl(X),
     write(' $)').
+wt1(compound_term([X|Y])) :-
+    !,
+    write('^('),
+    wt(X),
+    wl(Y),
+    write(')').
 wt1('$VAR'(X)) :-
     !,
     write('?V'),
@@ -12676,6 +12692,8 @@
     !.
 raw_type(set(_), '<http://www.w3.org/2000/10/swap/log#Set>') :-
     !.
+raw_type(compound_term(_), '<http://www.w3.org/2000/10/swap/log#Compound>') :-
+    !.
 raw_type(A, '<http://www.w3.org/2000/10/swap/log#Formula>') :-
     functor(A, B, C),
     B \= ':',
@@ -12774,6 +12792,8 @@
     !.
 getlist(set(A), A) :-
     !.
+getlist(compound_term(A), A) :-
+    !.
 getlist([], []) :-
     !.
 getlist('<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>', []) :-

reasoning/good-cobbler/cobbler.n3

@@ -6,11 +6,11 @@
 @prefix : <urn:example:>.
 
 # some x is a good cobbler
-_:x a (:good :Cobbler).
+_:x a ^(:good :Cobbler).
 
 # is there some x which is good at some y
 {
-    ?x a (:good ?y).
+    ?x a ^(:good ?y).
 } =^ {
     :test :is true.
 }.

reasoning/peano/peano-answer.n3

@@ -1,3 +1,3 @@
 @prefix : <http://example.org/#>.
 
-(: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 ^(: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)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))).

reasoning/peano/peano.n3

@@ -4,34 +4,34 @@
 # add
 {(?A 0) :add ?A} <= true.
 
-{(?A (:s ?B)) :add (:s ?C)} <= {
+{(?A ^(:s ?B)) :add ^(:s ?C)} <= {
     (?A ?B) :add ?C.
 }.
 
 # multiply
 {(?A 0) :multiply 0} <= true.
 
-{(?A (:s ?B)) :multiply ?C} <= {
+{(?A ^(:s ?B)) :multiply ?C} <= {
     (?A ?B) :multiply ?D.
     (?A ?D) :add ?C.
 }.
 
 # factorial
 {?A :factorial ?B} <= {
-    (?A (:s 0)) :fac ?B.
+    (?A ^(:s 0)) :fac ?B.
 }.
 
 {(0 ?A) :fac ?A} <= true.
 
-{((:s ?A) ?B) :fac ?C} <= {
-    (?B (:s ?A)) :multiply ?D.
+{(^(:s ?A) ?B) :fac ?C} <= {
+    (?B ^(:s ?A)) :multiply ?D.
     (?A ?D) :fac ?C.
 }.
 
 # query
 {
-    ((:s 0) (:s (:s 0))) :multiply ?A.
-    (?A (:s (:s (:s 0)))) :add ?B.
+    (^(:s 0) ^(:s ^(:s 0))) :multiply ?A.
+    (?A ^(:s ^(:s ^(:s 0)))) :add ?B.
     ?B :factorial ?C.
 } =^ {
     ?B :factorial ?C.