Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-06-26 08:01:47 -0700 (Thu, 26 Jun 2008)
Revision: 13071
Log message:

      Our attempt to implement s4-to-lp realization algorithm in Prolog.
     It seems like a wrong path:
     1. The algorithm has little need for search and backtracking
     2. On different stages the same objects behave like variables or like literals
     3. Prolog is not very good at data abstraction, lacks dot notation. We already have 5-way predicates and at becomes tedious ...