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.