Relational programming language RASMUS