ALF

A programming language which combines functional and logic techniques.