diff --git a/VERSION b/VERSION index 7c1886b..6e8bf73 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.0.10 +0.1.0 diff --git a/lingua/filter.trig b/lingua/filter.trig index 1374bb7..776b455 100644 --- a/lingua/filter.trig +++ b/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. diff --git a/lingua/proof/filter.trig b/lingua/proof/filter.trig index e69de29..4ef6926 100644 --- a/lingua/proof/filter.trig +++ b/lingua/proof/filter.trig @@ -0,0 +1,28 @@ +@prefix : . +@prefix lingua: . +@prefix var: . +@prefix log: . +@prefix list: . +@prefix 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 (() 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". +} diff --git a/see.pl b/see.pl index c2b34ec..735808c 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.10 (2024-03-11)'). +version_info('SEE v0.1.0 (2024-03-12)'). help_info('Usage: see * * see @@ -1648,6 +1648,11 @@ ''(X, Y) :- copy_term_nat(X, Y). +''(X, Y) :- + findvars(X, V, alpha), + list_to_set(V, U), + makevars(X, Y, beta(U)). + ''([A, B], C) :- when( ( ground(A) diff --git a/see.pvm b/see.pvm index c9dc963..71326a5 100755 Binary files a/see.pvm and b/see.pvm differ