pyswip
hatlog
pyswip | hatlog | |
---|---|---|
5 | 1 | |
444 | 1 | |
- | - | |
0.0 | 0.0 | |
5 months ago | over 5 years ago | |
Python | Python | |
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.
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
hatlog
-
Why Learn Prolog in 2021?
A couple years ago I hacked on a Python type inferencer someone wrote in Prolog. I wasn't enlightened, despite expecting to be, from a bunch of HN posts like this.
https://github.com/andychu/hatlog
For example, can someone add good error messages to this? It didn't really seem practical. I'm sure I am missing something, but there also seemed to be a lot of deficiencies.
In fact I think I learned the opposite lesson. I have to dig up the HN post, but I think the point was "Prolog is NOT logic". It's not programming and it's not math.
(Someone said the same thing about Project Euler and so forth, and I really liked that criticism. https://lobste.rs/s/bqnhbo/book_review_elements_programming )
What are some alternatives?
the-power-of-prolog - Introduction to modern Prolog
core.logic - A logic programming library for Clojure & ClojureScript
trealla - A compact, efficient Prolog interpreter written in plain-old C.
mercury - The Mercury logic programming system.
awesome-prolog - Curated list of Prolog packages and resources
Searching-In-An-Infinite-Space-Prolog - PP2014 Prolog Homework
swiplserver - Python library for using SWI Prolog
debug_adapter - Debug Adapter Protocol (DAP) implementation for SWI-Prolog
prolog - The only reasonable scripting engine for Go.
trealla-js - Trealla Prolog for the web
clojure-graph-resources - A curated list of Clojure resources for dealing with graph-like data.