Alma-0

Alma-0 is a multi-paradigm programming language that augments the imperative Modula-2 language with logic programming features and backtracking. It combines constraint programming with imperative and declarative styles.