thesherwood/kanren

A minikanren implementation in Nim(skull)

Nim

MIT License

kanren is a Nim implementation of miniKanren, a relational/logic programming language, that provides core operators for logic programming along with additional features like arithmetic, array manipulation, and rule-based programming. It is designed for developers interested in logic programming, constraint solving, and relational programming, offering tools for tasks such as symbolic reasoning and constraint satisfaction.

Total donated

Undistributed

Share with your subscribers: