adding experimental log:new

Author: josd

VERSION

@@ -1 +1 @@
-0.0.10
+0.1.0

lingua/filter.trig

@@ -19,16 +19,17 @@
     lingua:answer _:filter_answer.
 
 _:filter_question {
-    :Let :where var:where.
-    (var:param var:where var:filteredParams) log:collectAllIn var:scope.    ## DOES NOT WORK ##
+    :Let :where (var:param var:where).
+    (var:param var:where) log:new (var:newParam var:newWhere).
+    (var:newParam var:newWhere var:filteredParams) log:collectAllIn var:scope.
     var:filteredParams list:length 2.
 }
 
 _:filter_answer {
-    :test :is true.
+    :result :is var:filteredParams.
 }
 
-:Let :where _:filter_where.
+:Let :where (var:param _:filter_where).
 
 _:filter_where {
     :Let :param var:param.

lingua/proof/filter.trig

@@ -0,0 +1,28 @@
+@prefix : <https://eyereasoner.github.io/see/lingua/filter.trig#>.
+@prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
+@prefix var: <http://www.w3.org/2000/10/swap/var#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix list: <http://www.w3.org/2000/10/swap/list#>.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+
+:filter_query lingua:question _:gn_1.
+:filter_query lingua:answer _:node_2.
+:filter_query lingua:bindings ((var:param var:param) (var:where _:node_14) (var:newParam var:U_1) (var:newWhere _:gn_2) (var:filteredParams ("Huey" "Dewey")) (var:scope ((<https://eyereasoner.github.io/see/lingua/filter.trig>) 1))).
+:result :is ("Huey" "Dewey").
+_:gn_1 {
+    :Let :where (var:param var:where).
+    (var:param var:where) log:new (var:newParam var:newWhere).
+    (var:newParam var:newWhere var:filteredParams) log:collectAllIn var:scope.
+    var:filteredParams list:length 2.
+}
+_:node_2 {
+    :result :is var:filteredParams.
+}
+_:node_14 {
+    :Let :param var:param.
+    var:param string:lessThan "Louie".
+}
+_:gn_2 {
+    :Let :param var:U_1.
+    var:U_1 string:lessThan "Louie".
+}

see.pl

@@ -19,7 +19,7 @@
 :- use_module(library(semweb/turtle)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('SEE v0.0.10 (2024-03-11)').
+version_info('SEE v0.1.0 (2024-03-12)').
 
 help_info('Usage: see <options>* <data>*
 see
@@ -1648,6 +1648,11 @@
 '<http://www.w3.org/2000/10/swap/log#copy>'(X, Y) :-
     copy_term_nat(X, Y).
 
+'<http://www.w3.org/2000/10/swap/log#new>'(X, Y) :-
+    findvars(X, V, alpha),
+    list_to_set(V, U),
+    makevars(X, Y, beta(U)).
+
 '<http://www.w3.org/2000/10/swap/log#dtlit>'([A, B], C) :-
     when(
         (   ground(A)