GitHub - mthom/scryer-prolog: A modern Prolog implementation written mostly in Rust.Extend Scryer Prolog to include the following, among other features: call/N as a built-in meta-predicate. ISO Prolog compliant throw/catch. Built-in and user-defined operators of all fixities, with custom associativity and precedence. Bignum, rational number and floating point arithmetic. Built-in control operators (,, ;, ->, etc.). A revised, not-terrible module system. Built-in predicates for li
