BASIC language interpreter (multiplatform)
Tool support for the Z formal notation
Goal-directed answer-set programming
Multithreaded scripting language
MicroLua brings Lua on the Nintendo DS for easy programming
C#Prolog -- A Prolog interpreter written in managed C#