重要说明：我已经用Python重写了以下代码，并扩展了其功能。 参见 约束代数 关于时间，空间等的定性推理的代数。 笔记： 该代码写于1990年代初期，此后仅使用Armed Bear Common Lisp（ABCL）进行了部分测试。 测试的部分似乎工作正常。 但是，它似乎不适用于Steel Bank Common Lisp（SBCL）。 截至2020年11月，此代码的更新版本正在开发中，并且即将使用Python完成 此处的代码用于编写以下文章（副本位于此存储库的“ docs”文件夹中）：