A modern Prolog implementation written mostly in Rust.
Updated 2024-11-17 23:34:16 +00:00