The GNU Prolog native compiler
Agena is an interpreted procedural programming language.
A BASIC interpreter and compiler with graphics.
Proof Logic : A logical framework for theorem proving
Relational Database Management System
Perform dynamic tunings for realtime music.
Goal-directed answer-set programming
Programming language for artificial intelligence
Multi-User Database Interpreted BASIC Environment