Kanren Alternatives

Similar projects and alternatives to kanren

• minizinc-python

  3 132 8.4 Python kanren VS minizinc-python

  Access to all MiniZinc functionality directly from Python

  

• clpz

  5 172 4.4 Prolog kanren VS clpz

  Constraint Logic Programming over Integers

• InfluxDB

  www.influxdata.com featured

  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.

  

• ukanren-rs

  4 106 0.0 Rust kanren VS ukanren-rs

  Rust implementation of µKanren, a featherweight relational programming language.

• microKanren-py

  1 5 0.0 Python kanren VS microKanren-py

  Discontinued Simple python3 implementation of microKanren with lots of type annotations for clarity

• PyNeuraLogic

  7 268 8.0 Python kanren VS PyNeuraLogic

  PyNeuraLogic lets you use Python to create Differentiable Logic Programs

• pyswip

  5 444 0.0 Python kanren VS 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.

• ciao

  3 243 8.8 Prolog kanren VS ciao

  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives