Scryer Prolog
https://www.scryer.plScryer Prolog is a modern ISO Prolog system created by Mark Thom. I collaborate with the project in several areas:
- Libraries: http_server, ffi, uuid, postgresql-prolog, djota, teruel, ...
- Documentation: DocLog, Scryer website, Scryer Playground, ...
- And small fixes in the Rust code.
If you haven't tried Scryer Prolog, don't waste your time and do it!