ECLiPSe Constraint Logic Programming System
Transcribe Parsing Expression Grammar into a parser written in Java.
A low-level system programming language with high-level syntax
Runtime and development environment of Oz
C/C++ system probe, test and automation toolkit
Goal-directed answer-set programming