How to start work with the latest PFC pack?

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. :woozy_face:

1 Like