Jump to content

Talk:MiniKanren

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Untitled

[edit]

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

[edit]

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 (talkcontribs) 10:22, 15 April 2013 (UTC)[reply]