ADP is a script language designed for Web database prgramming.
Euler Yet another proof Engine
A Database System for Metamodeling and Method Engineering
anpe is Ada Neural Prolog Engine
psys is Prolog part of anpe projet
a reasoning engine for agents and games
A 100% Java Warren Abstract Machine implementation.