Icon

A high-level, general-purpose, imperative programming language with backtracking and many features for processing data structures and character strings. Its syntax is much like C and Pascal, but its semantics are far higher-level.

WWW Site.
A page describing it.

This page is linked from: Godiva Languages ToDo Unicon