The only time I really worked with pack pfc was documented in this topic.
Pfc pack (forward chaining) – can’t get to work
As it notes, not very clearly, some of the operators pfc uses, => are the same as SWI-Prolog now uses for single sided unification.
Eventually the author of the code, Douglas, stepped in.
Not much more I can offer. 