Search                        Top                                  Index

HELP ALLPRESENT                                       A. Sloman July 1982

    allpresent(list_of_patterns) -> boolean

ALLPRESENT takes a list of patterns and tries to find a consistent way of
matching the patterns agains elements of the list DATABASE. In the process,
pattern variables will be bound. If a consistent match can be found,
then ALLPRESENT returns TRUE and assigns to the global variable THEM a list
of instances of the patterns (i.e. with variables replaced by their values).

For information on pattern variables, see HELP * MATCHES.

ALLPRESENT is a generalisation of * PRESENT.

See also HELP * DATABASE, * AREIN, * FOREVERY.