concurrentKanren: miniKanren for parallel execution
Programming Languages
2025-10-07 v1
Abstract
Concurrent logic programming predates miniKanren, but concurrent implementations of miniKanren have remained largely unexplored. In this work we present a parallel implementation of miniKanren in Go, demonstrating its feasibility and potential for performance improvements. Our approach leverages implicit parallelism allowing legacy programs to benefit from parallel execution. We discuss implementation strategies and evaluate the impact of parallelism, laying groundwork for future language-agnostic models.
Cite
@article{arxiv.2510.04994,
title = {concurrentKanren: miniKanren for parallel execution},
author = {Sjoerd Dost},
journal= {arXiv preprint arXiv:2510.04994},
year = {2025}
}
Comments
13 pages, 1 figure, for associated repo see https://github.com/deosjr/concurrentKanren