ADD: PrologFunctor and mathc-structure-functor function!