Alma-0

Paradigms	constraint programming, logic programming, imperative programming, procedural programming
Typing discipline	static typing, strong typing
First appeared	1997
Developer	Centrum Wiskunde & Informatica
Type	constraint programming language, procedural programming language, programming language, multi-paradigm programming language
Website	cwi.nl