This member of Knowledge Representation Systems, developed by David E. Young, is currently in Production stage; version 3.2 was released 17 September 2007. LISA is distributed under the terms of the LGPL. The project resides at lisa.sourceforge.net.
There's a fork: https://github.com/Ramarren/lisa.
Artificial Intelligence