# 国家集训队论文列表（1999-2019） ___点击目录快速跳转：___ - _国家集训队论文列表（1999-2019）_ * [_1999_](#1999) * [_2000_](#2000) * [_2001_](#2001) * [_2002_](#2002) * [_2003_](#2003) * [_2004_](#2004) * [_2005_](#2005) * [_2006_](#2006) * [_2007_](#2007) * [_2008_](#2008) * [_2

迷你库萨里 如果你现在不爱我 你永远不会再爱我 我仍然可以听到你说 您将永不中断链（永不中断链） 是建立在的最小规则引擎（可以与Datomic或Datahike一起使用）。 kusari是日语的chain 。 minikusari这个名字是对minikanren （逻辑编程的嵌入式语言）的致敬。 您可以使用minikusari模拟系统，该系统会根据一组规则生成新的事实。 可以将minikusari视为数据日志查询引擎的对偶： datascr ipt.core/q查找与特定条件匹配的所有

对偶编程语言 建造 对偶性没有依赖关系，没有配置步骤，并且仅用一个翻译单元（duality.c）有意创建。 因此，构建Duality所需要的只是一个C99 *编译器。 无需构建系统！ 您的系统等同于cc duality.c -o duality可以解决问题。 当然，添加您想要进行优化等的任何标志。 该项目的根本是compile_flags.txt和.clang格式，可与一起使用。 *还需要支持匿名联合，从技术上讲是C11功能，但几乎在所有C99编译器中都可用。 文献资料 该存储库中的每个