scryer-prolog
Rhai
Our great sponsors
scryer-prolog | Rhai | |
---|---|---|
42 | 27 | |
1,866 | 3,423 | |
- | 3.5% | |
9.7 | 9.6 | |
7 days ago | 3 days ago | |
Rust | Rust | |
BSD 3-clause "New" or "Revised" License | Apache License 2.0 |
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.
scryer-prolog
-
The Shen Programming Language
thank you! the scryer community deserves much of the credit too. everyone is welcome and encouraged to join us at https://github.com/mthom/scryer-prolog! some exciting plans in the pipe
- Advent of Code 2023 is nigh
-
Djot is a light markup syntax
Djot is the markup syntax that is used for the documentation of Scryer Prolog, using a parser written in Prolog:
https://github.com/aarroyoc/djota
It works well so far. One of the few limitations I noticed so far pertains to the formatting of tables. For instance, consider the table used in library(format) to describe control sequences:
https://github.com/mthom/scryer-prolog/blob/b0566e41503a6c8d...
It contains several entries that span multiple lines, yet are meant to denote only a single row of the table, such as:
% | `~Nr` | where N is an integer between 2 and 36: format the |
-
Why did Prolog lose steam? (2010)
There's a nice book[1][2] about Prolog, with modern characteristics. Moreover, there are things like ProbLog[3] and DeepProbLog[4] that allow you to use probabilistic reasoning and power of machine learning. I am personally looking forward for Scryer Prolog[5] to achieve its goals.
[1] https://www.metalevel.at/prolog
[2] https://github.com/triska/the-power-of-prolog
[3] https://github.com/ML-KULeuven/problog
- PHP: Prolog Home Page
- Control memory usage in scryer prolog
-
Julia is missing 'pycall' for Rust
One use case would be for example Scryer-prolog. The latter is a very fast and easy to use Prolog. It includes high performance constraint solving (e.g. CLP(ℤ)). I'd write a bridge to this prolog, but not if it is too cumbersome.
-
State machines and reconciliation loops
if native Prolog, which one? scryer-prolog seems to be constantly mentioned a having fast string support and useful libraries for dealing with JSON and web APIs
- The Power of Prolog
-
Annotated implementation of microKanren: an embeddable logic language
No, what I'm describing is the "monadic" behaviour of `phrase_from_file/2` and similar predicates. In conjunction with definite clause grammars, this means that your I/O operations either conform to the provided spec or fail. This is a "hot topic" (if LP topics can really still be "hot") and sees active development in new prolog systems.
Check this out:
https://www.swi-prolog.org/pldoc/man?section=pio
https://github.com/mthom/scryer-prolog/blob/084fc845902f7b43...
Rhai
- RustPython
-
Moonbit: The fast, compact and user friendly language for WebAssembly
For that world there is also Rhai (https://github.com/rhaiscript/rhai), TypeScript, Scheme, etc.
Though Moonbit does look nice too.
- Announcing dwarf!
-
Embeddable Scripting Language for Embedded Rust
As far as I know there exists rhai scripting lang. You can check it out -> https://github.com/rhaiscript/rhai
- RustPython – A Python-3 (CPython >= 3.11.0) Interpreter written in Rust
- Best language to use as a scripting lang for my rust app
-
[concept] Modular kernel
The OS would be built in Rust and the module system could be made using ELF executibles (fast, but it could be really hard to implement modules to communicate with the kernel), WASM (can compile from many languages, slower but not too slow, APIs can be simple enough to implement if the correct VM is choses) or even a custom scripting language like rhai (slower, but best way for the implementation [way to connect modules and kernel]).
-
Godot game engine now has its own foundation
For sure, that's where something like rhai would shine: https://crates.io/crates/rhai
Oh yeah, for sure. But there are rust based scripting languages that are designed to interop with rust, such as rhai: https://crates.io/crates/rhai
- Sooooo... are we going to have a plugin system or no? :)
What are some alternatives?
dyon - A rusty dynamically typed scripting language
swipl-devel - SWI-Prolog Main development repository
rune - Rune is a programming language developed to test ideas for improving security and efficiency.
hlua - Rust library to interface with Lua
rune - An embeddable dynamic programming language for Rust.
RustPython - A Python Interpreter written in Rust
logica - Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
Ketos - Lisp dialect scripting and extension language for Rust programs
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.
materialize - The data warehouse for operational workloads.
mun - Source code for the Mun language and runtime.
helix - A post-modern modal text editor.