EMA-XPS Online



Syntax: (match <bql-variable>
           {<babylon-lisp-expression> |

The Operator MATCH generates bindings for
variables the way, the other predications do.
The calculations can only be made with
instanciated values of the variable and can be
called within the operator ASK. Usually it only
makes sense to use it within a premise.
MATCH does not return a defined value.

Example: >(ask [and (match _a '(a b c))
                (equal _a '(a b c))]
                (kb-format "~A" _a))
         (A B C)

MATCH once binds the list (A B C) to the
variable _a!

Vergleiche hierzu ELEMENT-OF.

EMA-XPS Online