SaaSHub helps you find the best software and product alternatives Learn more →
Core.logic Alternatives
Similar projects and alternatives to core.logic
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product 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.
-
lira
Lira is a declarative domain-specific language designed to be the backbone of financial contracts that can be executed on the blockchain
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
core.logic reviews and mentions
-
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...
-
A note from our sponsor - SaaSHub
www.saashub.com | 7 May 2024
Stats
clojure/core.logic is an open source project licensed under Eclipse Public License 1.0 which is an OSI approved license.
The primary programming language of core.logic is Clojure.
Sponsored