muKanren_reading
erlog
muKanren_reading | erlog | |
---|---|---|
2 | 2 | |
36 | 368 | |
- | - | |
3.6 | 0.0 | |
almost 2 years ago | 3 months ago | |
Racket | Erlang | |
MIT 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.
muKanren_reading
-
The Power of Prolog
May I interest you in microKanren? You can just roll your own. Here’s a shameless self-plug for a close reading I did of the paper that introduces microKanren: https://github.com/ashton314/muKanren_reading
- Annotated implementation of microKanren: an embeddable logic language
erlog
What are some alternatives?
scryer-prolog - A modern Prolog implementation written mostly in Rust.
the-power-of-prolog - Introduction to modern Prolog
louise - Polynomial-time Meta-Interpretive Learning
tau-prolog - An open source Prolog interpreter in JavaScript
nests-and-insects - A Roguelike Tabletop RPG
pyswip - PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
Gleemin - A Magic: the Gathering™ expert system
guile-log
wh40ksim - Warhammer 40k Combat simulator
prolog - The only reasonable scripting engine for Go.
edcg - Extended DCG syntax for Prolog by Peter Van Roy