Pfc -- does it support calling prolog goals

Hello Douglas (@logicmoo)

Does, i just tried (on windows) creating a rule that calls a prolog goal as so:

:- ain(start ==> {goal_to_call(param1)}).

However, the goal was not called.

Did i do a mistake in the syntax?

thank you,


I now also notice that i don’t know how to reinitialize pfc – in “vanilla” prolog i have an init routine that retractall asserted facts i want wiped.

retracting facts under control of pfc breaks the system.

Is there a call to retract all added facts … and start anew