NX-LISP
EXCORE/CL (エキスパートシステム構築ツール)