Our great sponsors
-
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.
Kanren for Pyhon implements a logic programming paradigm using generators giving substitutions for logical variables. It allows to deal with infinite solutions that can be conjoined (interleaved) with others seamlessly
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
- Five-minute Multimethods in Python by Guido van Rossum - March 30, 2005
- Kanren: An extensible, lightweight relational/logic programming DSL in Python
- Show HN: Rust implementation of µKanren, a featherweight relational language
- Rust implementation of µKanren, a featherweight relational programming language
- Rust implementation of µKanren, a featherweight relational programming language