Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-07-13 12:38:23 -0700 (Sun, 13 Jul 2008)
Revision: 13115
Log message:

      added connection with JProver.
     Now one can feed a statement for JProver to prove and then realize it in LP.
     
     ToDo:
     1.Currently only implicational fragment + NegLeft rule are implemented;
     NegRight and And/Or rules have to be added
     2.Multi-agent system is not supported though datatypes are already multi-modal and some code is but it is not complete