ciao-lang / mycin

MYCIN-style inference

This library enables MYCIN-style inference using "certainty factors" on rules.

Example (using examples/age.pl):

?- use_package(mycin).
?- use_module(age).
?- senior(X) cf CF.

CF = -0.8,
X = angel ? ;

CF = -0.6656,
X = frank ? ;

CF = 1.0,
X = uncle_tom ? ;

See files at examples/ for more examples.

mycin's Issues

Syntax error: Operator expected

Syntax error: Operator expected:【bagof(CFArg, MycinGoal(CFArg), OR_CF_List)】

cf(MycinGoal,ResultingCF) :-
if(
bagof(CFArg, MycinGoal(CFArg), OR_CF_List),
or_CF_inference(OR_CF_List,ResultingCF),
ResultingCF = 0
).