logic-lang (cargo): structural logic based on equivalence graphs
Keywords: logic|graph|rewriting|equivalence