mthom

mthom/scryer-prolog

A modern Prolog implementation written mostly in Rust.

2.4K stars 165 forks 2.4K watchers Rust BSD 3-Clause "New" or "Revised" License

iso-prolog-standard prolog prolog-implementation prolog-interpreter prolog-programming-language rust

2 Open Issues Need Help Last updated: Jul 21, 2026

Open Issues Need Help

View All on GitHub

Clarification on Phase 2 goal "Mode declarations" 15 days ago

help wanted

mthom/scryer-prolog

2.4K

A modern Prolog implementation written mostly in Rust.

Rust

#iso-prolog-standard#prolog#prolog-implementation#prolog-interpreter#prolog-programming-language#rust

socket_server_accept/4 cannot be interrupted with Ctrl-c 2 months ago

enhancement good first issue

mthom/scryer-prolog

2.4K

A modern Prolog implementation written mostly in Rust.

Rust

#iso-prolog-standard#prolog#prolog-implementation#prolog-interpreter#prolog-programming-language#rust