Mercury

Tags: compiled, contract, declarative, functional, logic-based, multiparadigm

Related tools: