scryer-prolog
https://github.com/mthom/scryer-prolog
Rust
A modern Prolog implementation written mostly in Rust.
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
Rust not yet supported0 Subscribers
Add a CodeTriage badge to scryer-prolog
Help out
- Issues
- Add `public/1` directive
- Broken interplay between at_end_of_stream/1 and get_n_chars/3 when using pipes
- time/1 and extra output at top-level
- floor happily takes an integer arg
- RDF Serialization Library
- top level: everything ignored after an end-dot
- Wasm: Machine exceptions are 'sticky'
- Source Paths do not resolve correctly
- Provide more context to animate
- Module qualifications not resolved at runtime
- Docs
- Rust not yet supported