investigating issue with filter

VERSION

@@ -1 +1 @@
-0.0.9
+0.0.10

lingua/filter.trig

@@ -2,6 +2,7 @@
 # Filter query
 # ------------
 
+@prefix list: <http://www.w3.org/2000/10/swap/list#>.
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
@@ -18,13 +19,17 @@
     lingua:answer _:filter_answer.
 
 _:filter_question {
-    (var:param _:filter_where var:filteredParams) log:collectAllIn var:scope.
+    :Let :where var:where.
+    (var:param var:where var:filteredParams) log:collectAllIn var:scope.    ## DOES NOT WORK ##
+    var:filteredParams list:length 2.
 }
 
 _:filter_answer {
-    :result :is var:filteredParams.
+    :test :is true.
 }
 
+:Let :where _:filter_where.
+
 _:filter_where {
     :Let :param var:param.
     var:param string:lessThan "Louie".

lingua/proof/filter.trig

@@ -1,20 +0,0 @@
-@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 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:U_1) (var:filteredParams ("Huey" "Dewey")) (var:scope ((<https://eyereasoner.github.io/see/lingua/filter.trig>) 1))).
-:result :is ("Huey" "Dewey").
-_:gn_1 {
-    (var:param _:node_5 var:filteredParams) log:collectAllIn var:scope.
-}
-_:node_2 {
-    :result :is var:filteredParams.
-}
-_:node_5 {
-    :Let :param var:param.
-    var:param string:lessThan "Louie".
-}

mksee

@@ -7,7 +7,7 @@ if [ $# -lt 2 ] ; then
 fi
 
 # change working directory
-pushd ~/github.com/eyereasoner/see
+pushd ~/github.com/KNowledgeOnWebScale/see
 
 # the following is adapted from https://gist.github.com/codezninja/c227d9c65b09d2be2d99abbfcfa8774a
 while getopts "Mmp" Option

see.pl

@@ -19,7 +19,7 @@
 :- use_module(library(semweb/turtle)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('SEE v0.0.9 (2024-03-08)').
+version_info('SEE v0.0.10 (2024-03-11)').
 
 help_info('Usage: see <options>* <data>*
 see

test

@@ -1,4 +1,4 @@
 #!/bin/bash
-pushd ~/github.com/eyereasoner/see/lingua > /dev/null
+pushd ~/github.com/KNowledgeOnWebScale/see/lingua > /dev/null
 ./test
 popd > /dev/null