Artificial Intelligence
Amzi! Prolog+ Logic Server
KPWIN
M.4 ES
M.4 VB