Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/MiniKanren> ?p ?o }
Showing triples 1 to 37 of
37
with 100 triples per page.
- MiniKanren abstract "miniKanren is a family of programming languages for relational programming. As relations are bidirectional, if miniKanren is given an expression and a desired output, miniKanren can run the expression \"backward\", finding all possible inputs to the expression that produce the desired output. This bidirectional behavior allows the user to constrain both the input to the program and the result of the program simultaneously. miniKanren performs an interleaved search which will eventually find any solution that exists, even if any one branch of the search tree is infinitely long and contains no solutions. If no solution exists, miniKanren may search forever if the search tree is infinite.An example of miniKanren code is evalo, a relational goal that relates expressions to the values that they evaluate to. When evalo is called in miniKanren like so: (evalo q q), it will generate quines, that is, expressions q that when run will evaluate to themselves.The book The Reasoned Schemer uses miniKanren to demonstrate relational programming, and provides a complete implementation in Scheme. The core of the language fits on two printed pages. The Scheme implementation of miniKanren is designed to be easily understood, modified, and extended.αleanTAP is a program written in αKanren, an extension of miniKanren for nominal logic. Given a theorem, it can find a proof, making it a theorem-prover. Given a proof, it can find the theorem, making it a theorem-checker. Given part of a proof and part of a theorem, it will fill in the missing parts of the proof and the theorem, making it a theorem-explorer.There are implementations of miniKanren in Haskell, Racket, Ruby, Clojure, and Python. The canonical implementation is an embedded language in Scheme. The Clojure core.logic library was inspired by miniKanren.The name kanren comes from a Japanese word for \"relation\".".
- MiniKanren wikiPageExternalLink minikanren.org.
- MiniKanren wikiPageID "39116526".
- MiniKanren wikiPageLength "3564".
- MiniKanren wikiPageOutDegree "16".
- MiniKanren wikiPageRevisionID "704439732".
- MiniKanren wikiPageWikiLink Automated_theorem_proving.
- MiniKanren wikiPageWikiLink Binary_relation.
- MiniKanren wikiPageWikiLink Category:Programming_languages.
- MiniKanren wikiPageWikiLink Clojure.
- MiniKanren wikiPageWikiLink Expression_(computer_science).
- MiniKanren wikiPageWikiLink Haskell_(programming_language).
- MiniKanren wikiPageWikiLink Logic_programming.
- MiniKanren wikiPageWikiLink Nominal_logic.
- MiniKanren wikiPageWikiLink Programming_language.
- MiniKanren wikiPageWikiLink Python_(programming_language).
- MiniKanren wikiPageWikiLink Quine_(computing).
- MiniKanren wikiPageWikiLink Racket_(programming_language).
- MiniKanren wikiPageWikiLink Ruby_(programming_language).
- MiniKanren wikiPageWikiLink Scheme_(programming_language).
- MiniKanren wikiPageWikiLink Tree_traversal.
- MiniKanren wikiPageWikiLinkText "MiniKanren".
- MiniKanren wikiPageWikiLinkText "miniKanren".
- MiniKanren wikiPageUsesTemplate Template:Lowercase_title.
- MiniKanren wikiPageUsesTemplate Template:Orphan.
- MiniKanren wikiPageUsesTemplate Template:Reflist.
- MiniKanren subject Category:Programming_languages.
- MiniKanren hypernym Family.
- MiniKanren comment "miniKanren is a family of programming languages for relational programming. As relations are bidirectional, if miniKanren is given an expression and a desired output, miniKanren can run the expression \"backward\", finding all possible inputs to the expression that produce the desired output. This bidirectional behavior allows the user to constrain both the input to the program and the result of the program simultaneously.".
- MiniKanren label "MiniKanren".
- MiniKanren sameAs Q14171534.
- MiniKanren sameAs m.0t551rr.
- MiniKanren sameAs Q14171534.
- MiniKanren sameAs MiniKanren.
- MiniKanren wasDerivedFrom MiniKanren?oldid=704439732.
- MiniKanren homepage minikanren.org.
- MiniKanren isPrimaryTopicOf MiniKanren.