Would you like to make this site your homepage? It's fast and easy...
Yes, Please make this my home page!
CSE 113 - Predicate Theorem
Prover in Java
NOTES
- This applet can only be run with IE 4.0!!!(Netscape 4.06 needs a
patch for jdk1.1)
- Must copy and paste clauses in order to save your work(control-C and
control-V in Windows, highlight with mouse and two-button-click in X windows)
- This applet differs from the Mac version in that it DOES not get stuck
in an infinite loop - if you use this applet you still have to understand
why the Mac version gets stuck.
- Press "Execute" to start or restart the program once the
applet is loaded
START
the Java Applet
PLAY
the Sherlock Holmes Game of Logic(also in Java)
mail me if you have
any question about this program
Back to David Li's Home
Page
Return to my Project
Java Page
davidl@public.ug.cs.sunysb.edu