About Anaconda Help Download Anaconda

An extensible, lightweight relational/logic programming DSL written in pure Python

Installers

  • linux-s390x v1.0.3
  • linux-64 v1.0.3
  • osx-arm64 v1.0.3
  • osx-64 v1.0.3
  • linux-aarch64 v1.0.3
  • win-64 v1.0.3
  • linux-ppc64le v1.0.3

conda install

To install this package run one of the following:
conda install anaconda::minikanren

Description

Logic programming is a general programming paradigm. This implementation however came about specifically to serve as an algorithmic core for Computer Algebra Systems in Python and for the automated generation and optimization of numeric software. Domain specific languages, code generation, and compilers have recently been a hot topic in the Scientific Python community. Kanren aims to be a low-level core for these projects.


© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy