Tactic Links - Organic Traffic Booster - Home

Path: Home > List > Load (minikanren.org)

domain	minikanren.org
summary	This website is a collection of resources and articles centered around the `core.logic` miniKanren library within Clojure. It includes readings, source code, presentations, and blog posts exploring logic programming concepts and their implementation using `core.logic`. Key areas covered include: * Introduction to Logic Programming: Articles introduce core.logic and related tools like cKanren, miniKanren, and Logos. * Core.logic Implementation: The site provides source code examples and detailed explanations of core.logic’s architecture, type inference, and performance. * Related Projects & Techniques: It explores topics like finite state transducers, constraint logic programming, graph algorithms (cliques, N-Queens), Sudoku solvers, and temporal logic programming. * Community & Resources: The site aggregates links to various blog posts, presentations, and projects associated with `core.logic`, including those from contributors like Gabriel Pickard, Ryan Senior, David Nolen, and others. The content demonstrates a focused interest in leveraging logic programming techniques within the Clojure ecosystem.
title	miniKanren.org
description	miniKanren.org
keywords	programming, logic, scheme, code, byrd, workshop, using, proceedings, daniel, implementation, friedman, constraint, source, hangout, university, part, jason
upstreams
downstreams
nslookup	A 185.199.109.153, A 185.199.111.153, A 185.199.110.153, A 185.199.108.153
created	2026-02-15
updated	2026-02-15
summarized	2026-02-16

HIGHSPOTS
tacticlinks.com
bytemux.io
twinllamas.ai
whimed.com
rodela.ai
shuken.io
greenpeace.org
escrache.org