[yegor] Our attempt to implement s4_to_lp realization algorithm in Prolog._ Thu Jun 26 08:01:48 PDT 2008 http://svn.metaprl.org/commitlogs/metaprl/2008-06/2008-06-26-08-01-48-730862000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2008-06/2008-06-26-08-01-48-730862000-PDT.html [yegor] small progress towards s4_to_lp relaization algorithm_ Thu Jun 26 19:19:41 PDT 2008 http://svn.metaprl.org/commitlogs/metaprl/2008-06/2008-06-26-19-19-41-362359000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2008-06/2008-06-26-19-19-41-362359000-PDT.html [yegor] the first approximation of realization for propositional rules finished._ Fri Jun 27 13:29:57 PDT 2008 http://svn.metaprl.org/commitlogs/metaprl/2008-06/2008-06-27-13-29-57-799452000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2008-06/2008-06-27-13-29-57-799452000-PDT.html [yegor] finished easy cases of third phase of realization_ Fri Jun 27 15:50:42 PDT 2008 http://svn.metaprl.org/commitlogs/metaprl/2008-06/2008-06-27-15-50-42-938223000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2008-06/2008-06-27-15-50-42-938223000-PDT.html [yegor] third phase is roughly finished._ Mon Jun 30 10:49:22 PDT 2008 http://svn.metaprl.org/commitlogs/metaprl/2008-06/2008-06-30-10-49-22-897913000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2008-06/2008-06-30-10-49-22-897913000-PDT.html