queries with lingua:answer

eyereasoner · Aug 23, 2024 · 54fe11b · 54fe11b
1 parent 8ac56a5
commit 54fe11b
Show file tree

Hide file tree

Showing 29 changed files with 33 additions and 33 deletions.
diff --git a/README.md b/README.md
@@ -52,7 +52,7 @@ _:bng_2 {
 
 Lingua also supports querying with queries described in RDF as
 ```
-_:bng_1 lingua:query _:bng_2.
+_:bng_1 lingua:answer _:bng_2.
 
 _:bng_1 {
     RDF triples

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.1.0
+1.2.0
diff --git a/etc/ackermann.trig b/etc/ackermann.trig
@@ -105,7 +105,7 @@ _:bng_12 {
 }
 
 # query
-_:bng_14 lingua:query _:bng_14.
+_:bng_14 lingua:answer _:bng_14.
 
 _:bng_14 {
     (0 0) :ackermann var:A0.

diff --git a/etc/acp.trig b/etc/acp.trig
@@ -75,7 +75,7 @@ _:bng_10 {
 }
 
 # query
-_:bng_11 lingua:query _:bng_12.
+_:bng_11 lingua:answer _:bng_12.
 
 _:bng_11 {
     var:Pol a :Policy.

diff --git a/etc/backward.trig b/etc/backward.trig
@@ -22,7 +22,7 @@ _:bng_2 {
 }
 
 # query
-_:bng_3 lingua:query _:bng_3.
+_:bng_3 lingua:answer _:bng_3.
 
 _:bng_3 {
     [] rdf:value 5; :moreInterestingThan 3.

diff --git a/etc/complement.trig b/etc/complement.trig
@@ -70,7 +70,7 @@ _:bng_7 {
 }
 
 # query
-_:bng_8 lingua:query _:bng_8.
+_:bng_8 lingua:answer _:bng_8.
 
 _:bng_8 {
     _:bng_7 lingua:forward false.

diff --git a/etc/complex.trig b/etc/complex.trig
@@ -161,7 +161,7 @@ _:bng_16 {
 }
 
 # query
-_:bng_17 lingua:query _:bng_17.
+_:bng_17 lingua:answer _:bng_17.
 
 _:bng_17 {
     ((-1 0) (0.5 0)) complex:exponentiation var:C1.

diff --git a/etc/derived.trig b/etc/derived.trig
@@ -32,7 +32,7 @@ _:bng_4 {
 }
 
 # query
-_:bng_5 lingua:query _:bng_5.
+_:bng_5 lingua:answer _:bng_5.
 
 _:bng_5 {
     :test :is var:result.

diff --git a/etc/easter.trig b/etc/easter.trig
@@ -56,7 +56,7 @@ _:bng_2 {
 }
 
 # query
-_:bng_3 lingua:query _:bng_4.
+_:bng_3 lingua:answer _:bng_4.
 
 _:bng_3 {
     [] rdf:value 27; log:repeat var:x0.

diff --git a/etc/edt.trig b/etc/edt.trig
@@ -39,7 +39,7 @@ _:bng_3 {
 }
 
 # query
-_:bng_4 lingua:query _:bng_4.
+_:bng_4 lingua:answer _:bng_4.
 
 _:bng_4 {
     edt:i100000 a edt:N100000.

diff --git a/etc/fibonacci.trig b/etc/fibonacci.trig
@@ -51,7 +51,7 @@ _:bng_6 {
 }
 
 # query
-_:bng_7 lingua:query _:bng_7.
+_:bng_7 lingua:answer _:bng_7.
 
 _:bng_7 {
     [] rdf:value 0; :fibonacci var:F1.

diff --git a/etc/filter.trig b/etc/filter.trig
@@ -15,7 +15,7 @@
 :Let :param "Louie".
 
 # query
-_:bng_1 lingua:query _:bng_2.
+_:bng_1 lingua:answer _:bng_2.
 
 _:bng_1 {
     :Let :where (var:param var:where).

diff --git a/etc/gcc.trig b/etc/gcc.trig
@@ -96,7 +96,7 @@ _:bng_11 {
 }
 
 # query
-_:bng_12 lingua:query _:bng_12.
+_:bng_12 lingua:answer _:bng_12.
 
 _:bng_12 {
     ((1 1 1 1 1 1 1 1 1) (0 0 0)) :testgcc var:Q.

diff --git a/etc/gps.trig b/etc/gps.trig
@@ -206,7 +206,7 @@ _:bng_31 {
 }
 
 # query
-_:bng_32 lingua:query _:bng_33.
+_:bng_32 lingua:answer _:bng_33.
 
 _:bng_32 {
     () gps:findpath (_:bng_34 var:PATH var:DURATION var:COST var:BELIEF var:COMFORT (5000.0 5.0 0.2 0.4 1)).

diff --git a/etc/graph.trig b/etc/graph.trig
@@ -44,7 +44,7 @@ _:bng_4 {
  }
 
 # query
-_:bng_5 lingua:query _:bng_5.
+_:bng_5 lingua:answer _:bng_5.
 
 _:bng_5 {
     var:A :path :nantes.

diff --git a/etc/mi.trig b/etc/mi.trig
@@ -107,7 +107,7 @@ _:natnum_hb_rule2_body_graph1 {
 }
 
 # query
-_:question lingua:query _:answer.
+_:question lingua:answer _:answer.
 
 _:question {
     () :mi (_:question_graph1).

diff --git a/etc/monadic.trig b/etc/monadic.trig
@@ -28,7 +28,7 @@ _:bng_1 {
 }
 
 #query
-_:bng_2 lingua:query _:bng_3.
+_:bng_2 lingua:answer _:bng_3.
 
 _:bng_2 {
     var:D0 var:R var:D1.

diff --git a/etc/pack.trig b/etc/pack.trig
@@ -33,7 +33,7 @@ _:bng_2 {
 }
 
 # query
-_:bng_3 lingua:query var:C.
+_:bng_3 lingua:answer var:C.
 
 _:bng_3 {
     var:S pack:package var:O.

diff --git a/etc/patch.trig b/etc/patch.trig
@@ -34,7 +34,7 @@ _:bng_3 {
 }
 
 # query
-_:bng_4 lingua:query _:bng_4.
+_:bng_4 lingua:answer _:bng_4.
 
 _:bng_4 {
     var:person :familyName var:fname.

diff --git a/etc/path.trig b/etc/path.trig
@@ -51,7 +51,7 @@ _:bng_5 {
 }
 
 # find routes from Manchester-Boston Regional Airport to Helsinki Vantaa Airport with at most 2 stopovers
-_:bng_6 lingua:query _:bng_7.
+_:bng_6 lingua:answer _:bng_7.
 
 _:bng_6 {
     var:source rdfs:label "Manchester-Boston Regional Airport".

diff --git a/etc/peano.trig b/etc/peano.trig
@@ -76,7 +76,7 @@ _:bng_11 {
 }
 
 # query
-_:bng_12 lingua:query _:bng_13.
+_:bng_12 lingua:answer _:bng_13.
 
 _:bng_12 {
     ((:s 0) (:s (:s 0))) :multiply var:A.

diff --git a/etc/pi.trig b/etc/pi.trig
@@ -50,7 +50,7 @@ _:bng_5 {
 }
 
 # query
-_:bng_6 lingua:query _:bng_6.
+_:bng_6 lingua:answer _:bng_6.
 
 _:bng_6 {
     (50000 var:Pi) :pi true.

diff --git a/etc/restdesc.trig b/etc/restdesc.trig
@@ -175,7 +175,7 @@ _:bng_18 {
 }
 
 # query
-_:bng_19 lingua:query _:bng_19.
+_:bng_19 lingua:answer _:bng_19.
 
 _:bng_19 {
     :x :relGoal :y.

diff --git a/etc/sha512.trig b/etc/sha512.trig
@@ -10,7 +10,7 @@
 :Let :param "hello world".
 
 # query
-_:bng_1 lingua:query _:bng_2.
+_:bng_1 lingua:answer _:bng_2.
 
 _:bng_1 {
     :Let :param var:X.

diff --git a/etc/socrates.trig b/etc/socrates.trig
@@ -26,7 +26,7 @@ _:bng_2 {
 }
 
 # query
-_:bng_3 lingua:query _:bng_3.
+_:bng_3 lingua:answer _:bng_3.
 
 _:bng_3 {
     var:S a :Mortal.

diff --git a/etc/turing.trig b/etc/turing.trig
@@ -145,7 +145,7 @@ _:bng_22 {
 (1 "#" 1 :stop) :tape :halt.
 
 # query
-_:bng_23 lingua:query _:bng_23.
+_:bng_23 lingua:answer _:bng_23.
 
 _:bng_23 {
     (1 0 1 0 0 1) :compute var:A1.

diff --git a/etc/union.trig b/etc/union.trig
@@ -19,7 +19,7 @@ _:bng_2 {
 }
 
 #query
-_:bng_3 lingua:query _:bng_4.
+_:bng_3 lingua:answer _:bng_4.
 
 _:bng_3 {
     (_:bng_1 _:bng_2) graph:union var:U.

diff --git a/etc/universal.trig b/etc/universal.trig
@@ -37,13 +37,13 @@ _:bng_5 {
 }
 
 # queries
-_:bng_6 lingua:query _:bng_6.
+_:bng_6 lingua:answer _:bng_6.
 
 _:bng_6 {
     :pat a rdfs:Resource.
 }
 
-_:bng_7 lingua:query _:bng_7.
+_:bng_7 lingua:answer _:bng_7.
 
 _:bng_7 {
     :bob :loves var:X.

diff --git a/lingua.pl b/lingua.pl
@@ -19,7 +19,7 @@
 :- use_module(library(semweb/turtle)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('lingua v1.1.0').
+version_info('lingua v1.2.0').
 
 help_info('Usage: lingua <options>* <data>*
 
@@ -73,10 +73,10 @@
 :- dynamic('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'/2).
 :- dynamic('<http://www.w3.org/1999/02/22-rdf-syntax-ns#value>'/2).
 :- dynamic('<http://www.w3.org/2000/01/rdf-schema#subClassOf>'/2).
-:- dynamic('<http://www.w3.org/2000/10/swap/lingua#explanation>'/2).
+:- dynamic('<http://www.w3.org/2000/10/swap/lingua#answer>'/2).
 :- dynamic('<http://www.w3.org/2000/10/swap/lingua#backward>'/2).
+:- dynamic('<http://www.w3.org/2000/10/swap/lingua#explanation>'/2).
 :- dynamic('<http://www.w3.org/2000/10/swap/lingua#forward>'/2).
-:- dynamic('<http://www.w3.org/2000/10/swap/lingua#query>'/2).
 :- dynamic('<http://www.w3.org/2000/10/swap/log#callWithCleanup>'/2).
 :- dynamic('<http://www.w3.org/2000/10/swap/log#collectAllIn>'/2).
 :- dynamic('<http://www.w3.org/2000/10/swap/log#implies>'/2).
@@ -280,7 +280,7 @@
 
     % create queries
     assertz(implies((
-            '<http://www.w3.org/2000/10/swap/lingua#query>'(A, B),
+            '<http://www.w3.org/2000/10/swap/lingua#answer>'(A, B),
             (   nb_getval(explain, true),
                 A \= B
             ->  F = ('<http://www.w3.org/2000/10/swap/lingua#explanation>'(A, B), B)