findall

Function

Summary

Signature

findall
pattern-to-instantiate
goal-to-prove
=>
list

Arguments

pattern-to-instantiate

A list or symbol.

goal-to-prove

Any backward chaining goal.

Values

list

A list

Description

The backward chaining inference engine is started to look for all sets of bindings which satisfy
goal-to-prove
. For each of those bindings,
pattern-to-instantiate
is instantiated and collected to return a list. The value is nil if nothing
goal-to-prove
cannot be satisfied.

Any subgoals that match the object base will only find objects from the current inferencing state.