miniKanren as a Tool for Symbolic Computation in Python.

Brandon T. Willard

Published in: CoRR (2020)

Keyphrases

open source
graphical user interface
scripting language
databases
programming tool
programming language
open source software
multiscale
artificial neural networks
object oriented
software engineering
general purpose
database systems
case study
artificial intelligence
learning algorithm
database