Searching-In-An-Infinite-Space-Prolog
hatlog
Our great sponsors
Searching-In-An-Infinite-Space-Prolog | hatlog | |
---|---|---|
1 | 1 | |
1 | 1 | |
- | - | |
0.0 | 0.0 | |
almost 10 years ago | over 5 years ago | |
Prolog | Python | |
- | 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.
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...
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?
awesome-prolog - Curated list of Prolog packages and resources
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.
mercury - The Mercury logic programming system.
core.logic - A logic programming library for Clojure & ClojureScript