Goals as Constraints: Writing miniKanren Constraints in miniKanren

Explore an innovative extension to the relational programming language miniKanren that enables efficient execution of arbitrary goals as constraints. Delve into how this advancement allows for expressing a wide range of commonly used constraints in pure miniKanren, eliminating the need for modifications to the underlying implementation. Discover the potential for creating new constraints that have been challenging to implement within existing constraint authoring frameworks. Gain insights into this promising approach for enhancing miniKanren's constraint handling capabilities and its implications for expanding the language's expressiveness.

[miniKanren'23] Goals as Constraints: Writing miniKanren Constraints in miniKanren