Plaster
New
List
Login
common-lisp
default
anonymous
2021.03.13 14:42:38
SNIPPETS/PGM-BOOK> (net prove-it (bnode a 0.4) (bnode b 0.5) (bnode c 0.6) (logical e (or (and a b) (not c)))) #<BN-SIMPLE-NETWORK PROVE-IT> SNIPPETS/PGM-BOOK> (mpe * :all '((e :T))) ((B :T) (E :T) (A :T) (#:E-INT1032 :T) (#:E-INT1033 :F) (C :T)) SNIPPETS/PGM-BOOK> (mpe ** :all '((e :F))) ((B :F) (E :F) (A :F) (#:E-INT1032 :F) (#:E-INT1033 :F) (C :T))
Raw
Annotate
Repaste
Edit