ALF

A programming language which combines functional and logic techniques.

CTO pages can be modified by anyone at anytime. Imagine an appropriate disclaimer. Double it. Add two.