textsfAlma-0: An Imperative Language that Supports Declarative Programming