RELFUN

The RELational-FUNctional programming language.