Going off the response of this discussion post: https://github.com/mthom/scryer-prolog/discussions/3101#discussioncomment-14513892 It would be nice to see that "IPC" thing as an actual example (or directly exposing Rust structs and functions somehow to Prolog)