Using as library in microservice

[flashpixx]

Hello, I would like to use Tokio/Axum for a webservice. and include Scryer Prolog as library and some other components to execute NMAP and getting some data.

In general I have got the folowing workflow:

1. start service and read static prolog script
2. start Tokio/Axum service
3. use multiple routes
   • one route to execute NMAP and fill results as facts into Prolog
   • one route to query Prolog

I didn't find a good documentation how to create terms with code and append this into Prolog. Is there a good documentatiom with some code examples? Thanks for help

[triska]

In #2387 (comment), @aarroyoc mentioned the file lib_machine.rs, it contains a few sample use cases that could be interesting, for example:

scryer-prolog/src/machine/lib_machine.rs

Line 369 in 9837187

fn list_results() {

Now that I look at it, I notice that the result in this specific case is unexpectedly a Float instead of an integer?

scryer-prolog/src/machine/lib_machine.rs

Line 386 in 9837187

Value::Float(OrderedFloat::from(1.0)),

This could be a sign that the interface can be improved. Maybe you @lucksus would also like to comment? Thank you a lot!

[aarroyoc]

I got inspired by this question to build a demo for this interface. It's a demo app, it doesn't do a lot, but it executes some Prolog queries from Rust, to show the results in a UI (Slint). The demo is here: https://github.com/aarroyoc/simurozos