xsb相关内容

对 Vim 用户的 Prolog 支持

我开始使用 XSB 进行 Prolog 编程. 你会为 (XSB) Prolog 建议什么语法高亮脚本或 vim 编辑器插件? 解决方案 Vim (7.3) 带有针对 Prolog 的文件类型特定设置和语法高亮.只需确保您的文件被这样检测(即 :setlocal filetype? 打印 prolog),并且您有通常的 :filetype 插件和 :syntax on 在你的 ~/. ..
发布时间:2022-01-12 10:23:32 其他开发

Vim 用户的 Prolog 支持

我开始使用 XSB 进行 Prolog 编程. 您会为 (XSB) Prolog 推荐什么用于 vim 编辑器的语法高亮脚本或插件? 解决方案 Vim (7.3) 为 Prolog 提供了特定于文件类型的设置和语法突出显示.只需确保您的文件被检测到(即 :setlocal filetype? 打印 prolog),并且您有通常的 :filetype 插件和 :syntax on 在你 ..
发布时间:2021-06-22 18:44:26 其他开发

HiLog 术语在现代 Prolog 中仍然有用吗?

Hilog 术语(即具有作为函子任意术语的化合物)是否仍被视为 XSB Prolog(或任何其他 Prolog)中的强大功能?目前是否有许多 XSB 项目使用此功能?例如,他们中的哪一个? 我问是因为据我所知,使用 ISO 内置调用/N 同样可以进行高阶编程. 具体来说,我想了解 XSB 是否仅仅出于历史原因使用 Hilog 术语,或者 Hilog 术语与当前的 ISO 标准相比是否具 ..
发布时间:2021-06-22 18:42:03 其他开发