Consideration of Scryer Prolog

[triska]

Scryer Prolog is a modern Prolog system that is written in Rust. It is syntactically fully conforming to the Prolog ISO standard and already supports various features that go even beyond the standard, such as a Boolean constraint solver and a simple module system.

Please consider a port to this system.

[guicho271828]

that is super interesting, but I wish someone to do it instead.
To me it is very important whether it supports tabling = Well-Founded-Semantics.

[guicho271828]

in fact it should not be overly difficult to modify one of the subdirectory in this repo to support Scryer prolog.

[triska]

Update, for interested readers: Scryer Prolog now supports tabling, using delimited continuations! See library(tabling) and the associated paper by Desouter et. al.:

https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/tabling-as-a-library-with-delimited-control/227B7C0227FD715CF159B6AF894DE96E