functional programming language targeting relational algebra and used as a hardware description language