• CLIPS
• COMMON-LISP
• FRICAS