Alma-0

Tags: logic-based, multiparadigm, procedural

Related tools: