core.logic
clojure-graph-resources
Our great sponsors
| core.logic | clojure-graph-resources | |
|---|---|---|
| 8 | 6 | |
| 1,432 | 252 | |
| 0.2% | - | |
| 5.2 | 1.8 | |
| 2 months ago | almost 2 years ago | |
| Clojure | ||
| Eclipse Public License 1.0 | 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.
core.logic
-
A Tour of Lisps
It's also available in Clojure: https://github.com/clojure/core.logic
If you want to write one yourself, it's pretty easy: https://www.youtube.com/watch?v=y1bVJOAfhKY
- Logic programming is overrated, at least for logic puzzles (2013)
-
Common Lisp language extensions wish list?
Something like Clojure's core.logic would be pretty nice too. As I understand it, this is one of those features that has been re-invented time and again in the Lisp world over the years. Although the CL standard is already fairly large, it would probably be a bit controversial to make that a required part of a CL implementation. Still, it would be cool to have the option of using dependent types in the macro system to generate formerly verified Lisp code at compile time.
- Kotlin + Prolog
-
Need help choosing my first Lisp
It also has core.logic which is minikanren. There are other logic programming options as well. Some libraries like core.typed use core.logic for the type checker.
- A Core.logic Primer
-
The birth of Prolog (1992) [pdf]
You could study core.logic: https://github.com/clojure/core.logic/tree/master/src/main/c...
I swear I'd bookmarked a resource that was more analogous to #2, but you may want to have a look at The Little Prover: https://mitpress.mit.edu/books/little-prover
-
Why Learn Prolog in 2021?
related:
https://github.com/clojure/core.logic/wiki/A-Core.logic-Prim...
clojure-graph-resources
- Why Is Jepsen Written in Clojure?
-
Fluree DB - A datomic like database that I just discovered
You may be interested in this list: https://github.com/simongray/clojure-graph-resources
-
Does anyone have experience with ALM/PLM tools (Application/Product Lifecycle Management)?
Clojure actually has excellent RDF support. Several features of Clojure and Datomic were inspired by directly by RDF and the semantic web tech is also fairly well-represented. I have compiled a list of all the relevant libraries (pull requests welcome).
-
An Introduction to Knowledge Graphs
... there's a whole bunch of Datomic-likes these days:
https://github.com/simongray/clojure-graph-resources#datalog
-
What are some great Clojure libraries, as of 2021?
There is a whole ecosystem around Datomic and Datomic-like databases that represent linked data in an RDF-like fashion using simple tuples.
-
Why Learn Prolog in 2021?
Probably worth mentioning for those interested in Datalog that there's actually a growing selection of databases for Clojure that use Datalog as their query language. I have documented them here: https://github.com/simongray/clojure-graph-resources#datalog
The Clojure variants of Datalog (they model triples as Clojure data structures) are basically becoming as ubiquitous in Clojure as SQL is elsewhere.
What are some alternatives?
awesome-prolog - Curated list of Prolog packages and resources
malli - High-performance data-driven data specification library for Clojure/Script.
paip-lisp - Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
specter - Clojure(Script)'s missing piece
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-semantic-web - A curated list of various semantic web and linked data resources.
hatlog - custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
mercury - The Mercury logic programming system.
meander - Tools for transparent data transformation
clpz - Constraint Logic Programming over Integers
crux - General purpose bitemporal database for SQL, Datalog & graph queries. Backed by @juxt [Moved to: https://github.com/xtdb/xtdb]