Derivation Checker Applet

This Java applet is intended as a web-based replacement for Bertie, a program that checks logic derivations for self-paced learning. Unlike Bertie (a DOS program), this applet runs in any web browser that supports Java. The applet communicates with a Prolog program running as a server in the Computer Science Department at Washington & Lee University. The applet itself was written using the BreezySwing class library.

To use the applet, type your input into the text area at upper right, then support your input by using a step (premises or previous successful input) and a choice of rule. If you get stuck on a problem, you can click your browser's reload button to start another one.