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(pfc)). I get odd compilation problems related to the jpl – java interface. I assu…

I have SWI-Prolog running and upgraded on Ubuntu 18.04 but JPL is a package and needs to be added separately. Currently reading Deploying for users - on Linux ▶ Details of error

Please try this first before reading further. It does not get pfc working but doesn’t report the jpl error. ?- halt. Restart SWI-Prolog ?- use_module(library(jpl)). ?- use_module(library(pfc)). There should be no errors. If that works let me know so I can undo a step. If that does not work or …

So the pfc code seems to run, but I don’t know if I am getting the correct answers. Welcome to SWI-Prolog (threaded, 64 bits, version 8.3.4-11-g1db629e24) SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software. Please run ?- license. for legal details. For online help and background, …

This might be of interest Seventy-Five Problems for Testing Automatic Theorem Provers by Francis Jeffry Pelletier

This is great! Thank you so much for your effort. Let me replicate this. Dan

It works … Although, upon use_module(library(pfc)), i get an error: ?- use_module(library(pfc)). ERROR: c:/programdata/swi-prolog/pack/pfc/prolog/pfc2.0/mpred_loader.pl:199: ERROR: source_sink `library(dictoo_lib)' does not exist Warning: c:/programdata/swi-prolog/pack/pfc/prolog/pfc2.0/mpred_l…

found it … ain(\+ gender(joe, male)). would remove male(joe) …

Hi, Sorry I did not notice the messages until late. Will work to make sure it’s working correctly with the right dependencies for the next hours. ain = “add if new” Tim’s “add/1” predicate was too conflicting Removing male(joe) Is accomplished by ain( + gender(joe, male)). the + means not pre…

Many thanks for the response and the explanation. I am very glad that you are still looking into this. If you could remove the dependency on the java interface that would be great. Also, i am very curious which version of code is the one installed with the pack – the git and pack description list…

Pfc pack (forward chaining) -- can't get to work

Help! Pack

EricGT July 21, 2020, 2:59pm 37

Thanks.

How are you initiating them? What query did you run?

Topic		Replies	Views
How to start work with the latest PFC pack? Pack how-to , pfc	11	906	February 6, 2022
Pfc - upgraded, seems to have some issues with forward chaining Pack pf	1	496	July 22, 2020
Sample queries in functional syntax on toplevel query General	13	432	December 23, 2023
ChatGPT SWI-Prolog assistent Nice to know chatgpt , llm	27	892	July 1, 2025
Package pac updated to 1.6.5 Pack	12	616	September 21, 2024

Pfc pack (forward chaining) -- can't get to work

Related topics