diff --git a/VERSION b/VERSION index c5d54ec..7c1886b 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.0.9 +0.0.10 diff --git a/lingua/filter.trig b/lingua/filter.trig index 8431337..1374bb7 100644 --- a/lingua/filter.trig +++ b/lingua/filter.trig @@ -2,6 +2,7 @@ # Filter query # ------------ +@prefix list: . @prefix string: . @prefix log: . @prefix 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". diff --git a/lingua/proof/filter.trig b/lingua/proof/filter.trig index b0d6fa2..e69de29 100644 --- a/lingua/proof/filter.trig +++ b/lingua/proof/filter.trig @@ -1,20 +0,0 @@ -@prefix : . -@prefix lingua: . -@prefix var: . -@prefix log: . -@prefix 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 (() 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". -} diff --git a/mksee b/mksee index cfe3706..a69e55c 100755 --- a/mksee +++ b/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 diff --git a/see.pl b/see.pl index 025b333..c2b34ec 100644 --- a/see.pl +++ b/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 * * see diff --git a/see.pvm b/see.pvm index d727b3e..c9dc963 100755 Binary files a/see.pvm and b/see.pvm differ diff --git a/test b/test index 797c299..6633971 100755 --- a/test +++ b/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