Datafun - functional language that generalizes Datalog