The second beta release of LISA 2.0 is available. There are numerous
significant changes, including a complete implementation of truth
maintenance (negated patterns are now allowed). The release notes in the
distribution have details, along with the updated reference manual.
I plan on implementing the EXISTS conditional element for the next beta,
then 2.0 will have its first production release.
More information may be found at http://lisa.sourceforge.net.
Cheers,
--
------------------------------------------
David E. Young
········@computer.org
http://lisa.sourceforge.net
"One Ring to rule them all, One Ring to find them,
One Ring to bring them all and in the darkness bind them."
-- From an Elven-lore verse
"But all the world understands my language."
-- Franz Joseph Haydn (1732-1809)