https://github.com/shenniger/microkanren-cpp-templates

An implementation of Microkanren in C++ templates
https://github.com/shenniger/microkanren-cpp-templates

Last synced: 18 days ago
JSON representation

An implementation of Microkanren in C++ templates

• Host: GitHub
• URL: https://github.com/shenniger/microkanren-cpp-templates
• Owner: shenniger
• Created: 2024-03-07T22:01:31.000Z (10 months ago)
• Default Branch: master
• Last Pushed: 2024-03-07T22:20:50.000Z (10 months ago)
• Last Synced: 2024-11-13T07:44:17.359Z (about 2 months ago)
• Language: C++
• Size: 1.95 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
This is an implementation of microKanren that runs entirely on the C++ type/template system.

I wrote this to learn the former, and refresh my knowledge on the latter.

All microKanren code is fully executed at C++ compile time, when template types are resolved.

C++ templates have long been shown to be Turing-complete. This example demonstrates that they

can theoretically be used as a relatively complete functional language, the biggest limitation

being C++'s ban on template members in local and anonymous classes, which overcomplicates

emulating lambdas.

# Status

WIP. See `example.cpp` for a small working example that demonstrates how to use this.

# Dependencies

Clang. GCC does not work due to a compiler bug (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282). 

# See also

- μKanren: A Minimal Functional Core for Relational Programming http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf

- https://minikanren.org