In the past few months I've been working on the design of the new component that I'll be adding to libLogic to make its first public version. Turns out that this new component isn't simple. I didn't realize this at first, but it's essentially equivalent to an efficient NDTM simulator, and about as complex as the rest of libLogic's current design. Nonetheless, this component is vital to making libLogic efficient enough to be usable, so I've continued to work on its design, but its unexpected complexity is going to push back my schedule.... read more
If you're reading this, then you've probably already read libLogic's impressive project description. However, you have probably also observed its unimpressive lack of any released files. This news item is to let you know where libLogic is at the moment and what to expect.
Though this SourceForge project was only recently created, I began the planning stage for libLogic in early 2004. Since then I have developed three unreleased prototypes, each more powerful than the last. At the present time, I am designing the next incarnation of libLogic's algorithm. When that is complete, I will begin implementing it to produce the first public release of libLogic. I expect it to be available sometime before the end of this year.... read more