From: Irene Schena Date: Fri, 24 May 2002 16:30:12 +0000 (+0000) Subject: Modified Files: X-Git-Tag: V_0_3_0_debian_8~74 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3b401fbefb3830d4f3cdce189ac31559c0219a0d;p=helm.git Modified Files: 1) grammar.txt: added in where clause EQUAL between lists --- diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt index 25e4b8e1e..2c53c2a1d 100644 --- a/helm/mathql/grammar.txt +++ b/helm/mathql/grammar.txt @@ -31,6 +31,7 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) | TRUE (* vero *) | FALSE (* falso *) | IS (* case sensitive matching *) + | EQUAL (* uguaglianza tra liste *) := <"-quoted-constant-string> (* pattern costante *) @@ -74,6 +75,7 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) := (* variabile per risorse *) := $ (* variabile per stringhe *) +- () = lista vuota (?) - le stringhe sono "case sensitive" - la funzione non definita sull'argomento restituisce la stringa nulla - le si presuppongono essere istanziate come URI references costituite