Does Scryer have:

- FFI to C or Java

- “unique”, i.e. linear type declarations

- modes, i.e. data-flow direction-dependent overloading of predicates

These are my favorite features in Mercury Prolog [1], and I would be delighted to find them in Scryer too.

[1] http://mercurylang.org/