DigiNews

Summary

miniKanren.org is a comprehensive hub for relational programming and the miniKanren family of logic programming DSLs. It documents the core language, host implementations, extensions, and a wide array of resources including workshops, books, online courses, papers, screencasts, and community interviews. This makes it a valuable reference for AI tooling, constraint-based reasoning, and business automation researchers and practitioners who want to explore logic programming for workflow modeling and automation.