tau-prolog不会运行我使用CHR库的prolog代码，尽管它可以在SWI-Prolog上运行

tau-prolog是一个基于JavaScript的Prolog解释器，它支持一些Prolog的核心特性，但并不完全兼容SWI-Prolog。CHR（Constraint Handling Rules）是一种用于处理约束的规则语言，它在SWI-Prolog中作为一个库提供。

由于tau-prolog并不完全兼容SWI-Prolog，它可能无法正确解析和执行使用CHR库的Prolog代码。这可能是因为tau-prolog的实现方式与SWI-Prolog的实现方式不同，导致它无法正确处理CHR库中的特定语法和语义。

如果你想在tau-prolog上运行使用CHR库的Prolog代码，你可以尝试以下解决方案：

1. 检查tau-prolog的文档和官方支持，确认是否支持CHR库或类似的约束处理规则。如果tau-prolog不支持CHR库，那么你需要寻找其他支持CHR库的Prolog解释器。
2. 尝试使用其他Prolog解释器，如SWI-Prolog，来运行使用CHR库的代码。确保你的代码在SWI-Prolog上正常运行后，再尝试在tau-prolog上运行。
3. 如果你需要在JavaScript环境中使用CHR库，你可以考虑使用其他支持CHR库的JavaScript库或框架。一些流行的JavaScript约束处理库包括JSCHR和JSCHR.js。这些库提供了类似于CHR的功能，并且可以在JavaScript环境中运行。

总结起来，tau-prolog可能无法运行使用CHR库的Prolog代码，因为它与SWI-Prolog的实现方式不同。如果你需要使用CHR库或类似的约束处理规则，你可以尝试其他支持CHR库的Prolog解释器，或者考虑使用其他支持约束处理的JavaScript库。