Scryer-prolog Alternatives
Similar projects and alternatives to scryer-prolog
-
logica
Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.
-
-
-
-
materialize
Materialize simplifies application development with streaming data. Incrementally-updated materialized views - in PostgreSQL and in real time. Materialize is powered by Timely Dataflow. (by MaterializeInc)
-
-
tauri
Build smaller, faster, and more secure desktop applications with a web frontend.
-
-
Scout APM
Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
-
-
advent_of_code
Solutions to programming puzzles on Advent of Code (by Praful)
-
-
-
-
-
adventofcode
My solutions to the Advent of Code challenges (by djotaku)
-
-
-
gutenberg
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
Reviews and mentions
- Using Prolog to unravel the foundations of oncology dose-escalation trial design
-
Advent of Code 2021 Day 4
It's a rainy Saturday and a nice logic puzzle so I went for Prolog. I'm specifically using Scryer Prolog for its nice DCG library which makes parsing the input text a breeze.
-
-🎄- 2021 Day 2 Solutions -🎄-
Scryer Prolog Github link
- A modern Prolog implementation written mostly in Rust.
-
Scryer-Prolog: modern Prolog implementation written mostly in Rust
Scryer Prolog does use many Rust libraries and crates. For example, see the cryptographic functionality from library(crypto):
https://github.com/mthom/scryer-prolog/blob/master/src/lib/c...
Note that many of these predicates are only wrappers for internal implementations that use the Rust crates. In fact, these existing Rust crates (notably ring) made it especially easy and convenient to add this functionality. library(sgml) is another example of this approach:
https://github.com/mthom/scryer-prolog/blob/master/src/lib/s...
Wow, thank you a lot! I am very glad you find this material useful!
Scryer Prolog compiles Prolog code to abstract machine code, and executes that. Like SICStus Prolog, GNU Prolog etc., Scryer uses the Warren Abstract Machine (WAM) as the target architecture. Therefore, self referential data structures, linked lists, tail recursion etc. are not directly mapped as such to Rust data structures, but occur in a sense only "indirectly" when Rust interprets the virtual machine instructions, where references to data structures appear as pointers to cells in the virtual machine. Similarly, tail calls correspond to certain abstract machine instructions that allow reuse of portions of the virtual local stack.
I have made a video that explains this common implementation of memory usage in Prolog systems:
https://www.metalevel.at/prolog/videos/memory_usage
Currently, Scryer uses a Rust enum to represent heap cells, here is the definition:
https://github.com/mthom/scryer-prolog/blob/ca62e54652ace837...
A more compact representation will use tagged cells that point directly into memory. It is my hope that such an improved representation will soon become available in Scryer Prolog.
On the use of Rust: I contributed only a few hundred lines of Rust code to Scryer Prolog. My feeling when using Rust was that this is a suitable final form of the implementation: Rust seemed so suitable and natural to implement the low-level facilities of Scryer Prolog that I consider it unlikely that any other language will ever warrant a change in this basic layer of the implementation. It is this feeling that I strive for when using programming languages, and I get it also for example when using Emacs Lisp, PostScript and Prolog. Rust's package manager, the availability of ready-made crates and the easy compilation were also extremely helpful during development.
-
Whats your favourite open source Rust project that needs more recognition?
scryer-prolog - A modern Prolog implementation written mostly in Rust.
-
Master’s CS thesis topic related to logic?
Found this by searching around for JIT shen prolog. https://github.com/mthom/scryer-prolog
- Logica: Modern Logic Programming
- Scryer Prolog: A modern Prolog implementation written mostly in Rust
-
Type enforcement in Prolog
I'm hoping with the completion of Scryer and the new Power of Prolog series that'll start happening soon and we see more of it in industry.
-
testing types help
To retain this desirable property of type tests, use the ..._si/1 family of predicates from library(si) instead.
Stats
mthom/scryer-prolog is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.
Popular Comparisons
Are you hiring? Post a new remote job listing for free.