Untyped, declarative, rule-based programming language