ADD: Function to match a conjunct.

It matches a conjunct with functors from the knowledge-base.