最新

大家好，我刚刚发布了一个模板，汇集了我在最近项目中最喜欢的工具和模式。<p>与其他技术栈不同的是，它更加关注客户端渲染（CSR），并且设计为自托管。它还包含了一些基本功能，比如数据库、身份验证，以及我编写的一些工具，以提高类型安全性和开发体验。<p>希望你们觉得它有用！

我在寻找一个官方的Prolog扩展，包含时态逻辑。