pyswip
muKanren_reading
| pyswip | muKanren_reading | |
|---|---|---|
| 5 | 2 | |
| 444 | 36 | |
| - | - | |
| 0.0 | 3.6 | |
| 5 months ago | almost 2 years ago | |
| Python | Racket | |
| MIT License | MIT 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.
pyswip
- Find Legal Moves in Brass Birmingham with Datalog
-
Prolog at work
You're looking for PySwip.
- The Power of Prolog
-
Small Prologs engine for app
you might like https://github.com/yuce/pyswip
-
Why Learn Prolog in 2021?
It might be easier to learn prolog, if it's wrapped in more familiar python.[1] Prolog's value lies in its database core. But much of the cost of learning a language is elsewhere, in coping with yet another way to do familiar things. With prolog, these are both relatively uninteresting, and nicely separable.
[1] https://github.com/yuce/pyswip
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
What are some alternatives?
the-power-of-prolog - Introduction to modern Prolog
scryer-prolog - A modern Prolog implementation written mostly in Rust.
trealla - A compact, efficient Prolog interpreter written in plain-old C.
erlog - Prolog interpreter in and for Erlang
awesome-prolog - Curated list of Prolog packages and resources
louise - Polynomial-time Meta-Interpretive Learning
hatlog - custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
nests-and-insects - A Roguelike Tabletop RPG
swiplserver - Python library for using SWI Prolog
Gleemin - A Magic: the Gathering™ expert system
debug_adapter - Debug Adapter Protocol (DAP) implementation for SWI-Prolog
wh40ksim - Warhammer 40k Combat simulator