According to cloc, chalk is at > 33k loc and scryer is at > 27k loc.
https://crates.io/crates/rusty-wam is redirecting to scryer.
Is there a small "readable over a weekend" impl of a Prolog-like in Rust ?
1 Like
It is not exactly Prolog-like, but I have written a miniKanren with CLP(Tree) and CLP(FD) in around 7000loc (includes a lot of unit tests, much less without). There is no WAM in miniKanren, so it might not be what you are looking for.
https://github.com/terohuttunen/proto-vulcan
It is reasonably close to William E. Byrd's dissertation and cKanren paper that you can understand the source more easily by reading them while you read the source. I think it is "readable over a weekend". However, I'm afraid it is not fully documented.
Differences between Prolog and miniKanren: miniKanren.org
2 Likes
This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.