Pattern Matching
Querying knowledge by shape: a template containing variables is matched against stored atoms, returning every set of bindings that makes it fit.
Querying knowledge by shape: a template containing variables is matched against stored atoms, returning every set of bindings that makes it fit.