解释 这是conexp-clj，是用于通用软件工具。 它的主要目的是使非平凡的例子易于计算，但是它可以用于更多的例子。 文献资料 不要为理论烦恼，我想做的事！ （又名：教程） （ICFCA 2013） 有关conexp-clj更完整概述 conexp-clj示例用例 进阶主题 历史 该项目是由Daniel Borchmann在Christian Meschke的监督下启动的，这是DFG项目GA 216 / 10-1的一部分。 此后，Daniel Borchmann将其进一步开发为通用FCA工