(How) Can I use Scryer Prolog embedded in a generic Rust application?

[eslksw]

I am aware of #225 and related issues, but I am still unsure how to actually proceed in terms of actual implementation. Let's say I'd like to run a Prolog program test.pl in my pure Rust CLI application, maybe sending it a query and getting the result back. How would I go on to achieve this? Thank you so much in advance, amazing project BTW!

[triska]

Does tests.rs from the src/machine/lib_machine directory help to illustrate this?

On the toplevel, we can consult a Prolog program test.pl by posting the query ?- consult('test.pl')., or equivalently ?- consult(test).

So, in the case of the Rust bindings, the query could have the shape "consult(test), pred(X, Y, Z), ...".