[cl-unification-devel] Newbie Question on logic and CL-UNIFICATION