Talk:MiniKanren

Untitled

MiniKanren is just one dialect of Kanren, which is the original language described in The Reasoned Schemer. There are many other Kanren dialects, including microKanren. Why is there no base Kanren article? — Preceding unsigned comment added by 165.84.106.3 (talk) 03:34, 22 March 2021 (UTC)[reply]

Some tidbits

Here's a little more basic info that should probably go into the article:

e: every (try every clause)

o: supposed to look like a question mark words that end in o define a goal

the core language has only three operators:

 == unification of two terms
 fresh introduces new logic variables and acts as conjunction of goals
 conde performs disjunction (of conjunctions)

interface operator is called "run". Interfaces with the host language. — Preceding unsigned comment added by BenKovitz (talk • contribs) 10:22, 15 April 2013 (UTC)[reply]