Help on basic usage

[reverendpaco]

From my swipl repl, I have
pack_install(pfc).
followed by
use_module(library(pfc)).

Is this all I have to do to make use of this library?
It mostly seems to work (with a lot of verbosity), but the add/1 goal seems to be missing, even thought it looks like the ==> operator is present.

Am I doing something wrong?

[aindilis]

:- use_module(library(pfc)). :- ain(gender(P,male) ==> male(P)). :- ain(gender(joe,male)). test(X) :- male(X).

…

On Mon, Oct 22, 2018 at 12:11 PM reverendpaco ***@***.***> wrote: From my swipl repl, I have pack_install(pfc). followed by use_module(library(pfc)). Is this all I have to do to make use of this library? It mostly seems to work (with a lot of verbosity), but the add/1 goal seems to be missing, even thought it looks like the ==> operator is present. Am I doing something wrong? — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#2>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAhugrHglWXFGSuSqTPiQdhUWRkJ3G2Aks5une4vgaJpZM4XzrPv> .

-- Andrew Dougherty Independent A.I. Researcher FRDCSA.org (331) 684-7674 [email protected]