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

app cargo-swipl

Tool for working with crates that use the SWI-Prolog Foreign Language Interface

6 releases

0.3.4 Aug 3, 2023
0.3.3 Oct 28, 2022
0.3.2 Jan 24, 2022
0.3.1 May 12, 2021
0.2.0 Apr 30, 2021

#309 in Cargo plugins


228 lines

cargo-swipl - a helper tool for working with swipl-rs

cargo-swipl is a tool to make working with crates that depend on swipl-rs easier.

swipl-rs dependent crates will be linked against the SWI-Prolog system specified in the SWIPL variable, or if that's not specified, the version of SWI-Prolog that is found on the path. However, at run time, if SWI-Prolog's shared library is not discoverable, the resulting binary will fail to start.

cargo-swipl provides a wrapper around cargo run and cargo test, namely cargo swipl run and cargo swipl test, which sets up your environment so that the required dependencies will be discovered. They take all the arguments that their respective cargo commands would take, and will return with the same status code.


Run the main binary:

cargo swipl run

Run the tests:

cargo swipl test

Explicitely specify the SWI-Prolog version to run with:

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


~60K SLoC