# \#pfc **URL:** https://swi-prolog.discourse.group/tag/pfc/69.md [Latest](https://swi-prolog.discourse.group/latest.md) · [Categories](https://swi-prolog.discourse.group/categories.md) · [Tags](https://swi-prolog.discourse.group/tags.md) --- ## [How to start work with the latest PFC pack?](https://swi-prolog.discourse.group/t/how-to-start-work-with-the-latest-pfc-pack/4985)
**Author:** [@Goran](https://swi-prolog.discourse.group/u/Goran)\ **Replies:** 11\ **Last updated:** [February 6, 2022, 10:24am UTC](https://swi-prolog.discourse.group/t/how-to-start-work-with-the-latest-pfc-pack/4985 "2022-02-06T10:24:28Z")
Hello, I installed recently the PFC pack using ?- pack\_install('https://github.com/TeamSPoon/pfc.git'). and then tried what seems to be the straightforward next step (reported in all posts on the pack I could find with… --- ## [Pfc from source - has weird constructs](https://swi-prolog.discourse.group/t/pfc-from-source-has-weird-constructs/2663)
**Author:** [@grossdan](https://swi-prolog.discourse.group/u/grossdan)\ **Replies:** 4\ **Last updated:** [July 22, 2020, 6:37pm UTC](https://swi-prolog.discourse.group/t/pfc-from-source-has-weird-constructs/2663 "2020-07-22T18:37:32Z")
Hello, Failing to get pfc to work, i am trying to see if i can get the source of the pack compiled. However, the source includes various strange constructs such as: :- throw(module(pfc\_umt,\[umt/1\])). https://www.swi… --- ## [Pfc: call to a { goal(abc) } on the rhs adds the baseKB prefix baseKB:goal(abc) and fails to + remedy](https://swi-prolog.discourse.group/t/pfc-call-to-a-goal-abc-on-the-rhs-adds-the-basekb-prefix-basekb-goal-abc-and-fails-to-remedy/2679)
**Author:** [@grossdan](https://swi-prolog.discourse.group/u/grossdan)\ **Replies:** 0\ **Last updated:** [July 22, 2020, 11:47am UTC](https://swi-prolog.discourse.group/t/pfc-call-to-a-goal-abc-on-the-rhs-adds-the-basekb-prefix-basekb-goal-abc-and-fails-to-remedy/2679 "2020-07-22T11:47:58Z")
Hello @DouglasRMiles, A few comments, in case its helpful: In a module I have defined a forward chaining rule that includes a call to a prolog goal. As so: :- module(myMod, \[ \]). :- ain(condition(1) ==\> { do\_somethi… --- ## [Pfc pack (forward chaining) -- can't get to work](https://swi-prolog.discourse.group/t/pfc-pack-forward-chaining-cant-get-to-work/2662)
**Author:** [@grossdan](https://swi-prolog.discourse.group/u/grossdan)\ **Replies:** 38\ **Last updated:** [July 21, 2020, 11:35pm UTC](https://swi-prolog.discourse.group/t/pfc-pack-forward-chaining-cant-get-to-work/2662 "2020-07-21T23:35:17Z")
Hello, I am trying to use the pfc pack. I managed to install the pack, but i am unsure how to get to use it. There is no example that shows what use\_module to use to import it, and when i try: :- use\_module(library(pf… --- ## [Pfc -- ain/1 succeeds on command line, but fails when called within module](https://swi-prolog.discourse.group/t/pfc-ain-1-succeeds-on-command-line-but-fails-when-called-within-module/2670)
**Author:** [@grossdan](https://swi-prolog.discourse.group/u/grossdan)\ **Replies:** 3\ **Last updated:** [July 21, 2020, 10:26pm UTC](https://swi-prolog.discourse.group/t/pfc-ain-1-succeeds-on-command-line-but-fails-when-called-within-module/2670 "2020-07-21T22:26:42Z")
Hello @DouglasRMiles, For some reason when i add a fact on the command line, e.g. ain(system\_started), it works great, and the related rule triggers. but when i put the following in a module go :- ain(system\_started). … --- ## [Pfc -- does it support calling prolog goals](https://swi-prolog.discourse.group/t/pfc-does-it-support-calling-prolog-goals/2668)
**Author:** [@grossdan](https://swi-prolog.discourse.group/u/grossdan)\ **Replies:** 1\ **Last updated:** [July 21, 2020, 3:08pm UTC](https://swi-prolog.discourse.group/t/pfc-does-it-support-calling-prolog-goals/2668 "2020-07-21T15:08:03Z")
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? …