The Department of Computer Science & Engineering
UB CSE 4/563 Resources
(prover:prove <list of assumption wffs> <wff to be proven>)
wangto see how it operates.
(gsat wffs tries flips)
(gsat wffs tries flips :trace t)
(ask wff KB tries flips)
(ask wff KB tries flips :trace t)