compupdate(factset,ruleset) → boolean
The subroutine compupdate a dataset and a ruleset as arguments and runs the transition rules from the specified ruleset on the specified dataset.
<![CDATA[
Call: definefacts(repository,readdata('p(a,b) p(b,c) p(c,d)'))
Exit: ...
Call: definerules(library,readdata('p(X,Y) ==> ~p(X,Y) & p(Y,X)'))
Exit: ...
Call: compupdate(repository,library)
Exit: true
Call: grindem(repository)
Exit: p(b,a) p(c,b) p(d,c)
]]>
|
