The online logic theorem prover is currently not active. This is because my server can not accomodate execution of the executable required.
At the moment, the theorem prover can deal with three varities of propositional logic: classical, K3 and LP. It has an HTML interface and Prolog backend.