hatlog
Searching-In-An-Infinite-Space-Prolog
| hatlog | Searching-In-An-Infinite-Space-Prolog | |
|---|---|---|
| 1 | 1 | |
| 1 | 1 | |
| - | - | |
| 0.0 | 0.0 | |
| over 5 years ago | almost 10 years ago | |
| Python | Prolog | |
| 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.
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 )
Searching-In-An-Infinite-Space-Prolog
-
Why Learn Prolog in 2021?
This brings up memories from 7 years ago. While in Uni, we had a homework: "Searching in an infinite space using Prolog".
Unfortunately, the comments are in my native language, but the assignment was to search for a box in an infinite space and bring it back to (0, 0).
It was fun: https://github.com/mateioprea/Searching-In-An-Infinite-Space...
What are some alternatives?
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.
awesome-prolog - Curated list of Prolog packages and resources
core.logic - A logic programming library for Clojure & ClojureScript
mercury - The Mercury logic programming system.