#swipl #interface #cargo #swi-prolog #tool #foreign #language

app cargo-swipl

用于与使用 SWI-Prolog 外部语言接口的 crates 一起工作的工具

6 个版本

0.3.4 2023 年 8 月 3 日
0.3.3 2022 年 10 月 28 日
0.3.2 2022 年 1 月 24 日
0.3.1 2021 年 5 月 12 日
0.2.0 2021 年 4 月 30 日

#317 in Cargo 插件

Download history 12/week @ 2024-03-09 2/week @ 2024-03-16 12/week @ 2024-03-30 2/week @ 2024-04-06

78 每月下载量

Apache-2.0/MIT

15KB
228

cargo-swipl - 用于与 swipl-rs 一起工作的辅助工具

cargo-swipl 是一个工具,使与依赖于 swipl-rs 的 crates 一起工作变得更加容易。

依赖于 swipl-rs 的 crates 将与在 SWIPL 变量中指定的 SWI-Prolog 系统链接,如果没有指定,则链接到路径上找到的 SWI-Prolog 版本。然而,在运行时,如果无法找到 SWI-Prolog 的共享库,生成的二进制文件将无法启动。

cargo-swipl 为 cargo runcargo test 提供包装,即 cargo swipl runcargo swipl test,它们设置环境以便发现所需的依赖。它们接受各自 cargo 命令的所有参数,并以相同的状态码返回。

示例

运行主二进制文件

cargo swipl run

运行测试

cargo swipl test

显式指定要运行的 SWI-Prolog 版本

SWIPL=~/.swivm/versions/v8.2.4/bin/swipl cargo swipl run

依赖关系

~2.7–4MB
~60K SLoC