concurrentKanren: miniKanren for parallel execution
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908578174992384 |
|---|---|
| author | Dost, Sjoerd |
| author_facet | Dost, Sjoerd |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_04994 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | concurrentKanren: miniKanren for parallel execution Dost, Sjoerd Programming Languages 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. |
| title | concurrentKanren: miniKanren for parallel execution |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2510.04994 |