ukanren-rs
scryer-prolog
| ukanren-rs | scryer-prolog | |
|---|---|---|
| 4 | 62 | |
| 113 | 2,244 | |
| 0.0% | 1.9% | |
| 0.0 | 9.3 | |
| over 2 years ago | 23 days ago | |
| Rust | Rust | |
| MIT License | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ukanren-rs
scryer-prolog
- The Third Annual Scryer Prolog Meetup
-
I want a good parallel computer
You probably already know about https://github.com/mthom/scryer-prolog are you saying we should accelerate scryer-prolog with a Grayskull board?
- Scryer Prolog Distribution via Pkgx
- The Semantics of Testing. Also, Quads
- Scryer Prolog NPM package (experimental)
-
Using UV as Your Shebang Line
From my original comment https://github.com/mthom/scryer-prolog/issues/2170#issuecomm... :
> The way this works is that this test.pl is both a valid shell file and prolog file. So when executing as a shell file the first line finds and executes /usr/bin/env after searching for the glob pattern /usr/bin/env. env then executes scryer-prolog "test.pl" which runs the prolog file as a module and halts; of course it ignores the first line as a comment / ... /. Then the shell continues and executes the next command after ;, which is exit which stops execution so the rest of the file (which is not valid shell) is ignored. The # makes the shell evaluator ignore the / that closes the comment for prolog.
-
The Simplicity of Prolog
No, unless you count cancer research[1], particle physics experiments, and government funding allocations[3].
[1]: https://dcnorris.github.io/precautionary/index.html
[2]: https://github.com/mthom/scryer-prolog/discussions/2441
[3]: https://link.springer.com/chapter/10.1007/978-981-97-2300-3_...
Regarding how, check out Power of Prolog on YouTube.
- Pure regex implementation using rational trees and if_/3
-
What Is miniKanren?
Trealla and Tau are both wonderful. Very close cousins of Scryer.
I've never tried compiling on rust before but open an issue or a discussion on the Scryer board and maybe we can figure it out!
https://github.com/mthom/scryer-prolog
- Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk
What are some alternatives?
kanren - An extensible, lightweight relational/logic programming DSL written in pure Python
adventofcode - My solutions to the Advent of Code challenges
crepe - Datalog compiler embedded in Rust as a procedural macro
differential-datalog - DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
conlog - A simple prolog interpreter written in Rust
materialize - Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.