Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,386,607 papers from all fields of science
Search
Sign In
Create Free Account
MiniKanren
miniKanren is a family of programming languages for relational programming. As relations are bidirectional, if miniKanren is given an expression and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Automated theorem proving
Clojure
Expression (computer science)
Haskell
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Improving Refutational Completeness of Relational Search via Divergence Test
Dmitri Rozplokhas
,
D. Boulytchev
ACM-SIGPLAN International Conference on…
2018
Corpus ID: 51985014
We describe a search optimization technique for implementation of relational programming language miniKanren which makes more…
Expand
2018
2018
Leveraging Constraint Logic Programming for Neural Guided Program Synthesis
Lisa Zhang
,
Gregory Rosenblatt
,
+4 authors
R. Zemel
International Conference on Learning…
2018
Corpus ID: 21739006
We present a method for solving Programming by Example (PBE) problems that tightly integrates a neural network with a constraint…
Expand
2018
2018
A Surprisingly Competitive Conditional Operator miniKanrenizing the Inference Rules of Pie
Benjamin Boskin
,
D. Christiansen
,
Daniel P. Friedman
2018
Corpus ID: 54875486
Because miniKanren programs can run forwards and backwards, interpreters written in miniKanren can perform program synthesis…
Expand
2014
2014
Image processing using miniKanren
Hirotaka Niitsuma
arXiv.org
2014
Corpus ID: 8688605
An integral image [14] is one of the most efficient optimization technique forimage processing. However an integral image is only a…
Expand
2014
2014
Tableau-Based Model Generation for Relational Syllogistic Logics
Erik Wennstrom
International Symposium on Artificial…
2014
Corpus ID: 37977015
I present an analytic tableau system for a small fragment of natural language called RC. RC is an extension of the classical…
Expand
2014
2014
Little Languages for Relational Programming
Daniel W. Brady
,
Jason Hemann
,
Daniel P. Friedman
2014
Corpus ID: 40618166
The miniKanren relational programming language, though designed and used as a language with which to teach relational programming…
Expand
2007
2007
A miniKanren Interactive Proof System for Deciding the Truth of ( simple ) Quanti ed Boolean Formulae
Larisse Voufo
2007
Corpus ID: 17650962
We present an application of miniKanren with respect to the needs of Proof and Complexity Theories. We implement an Interactive…
Expand
2006
2006
From Variadic Functions to Variadic Relations A miniKanren Perspective
William E. Byrd
,
Daniel P. Friedman
2006
Corpus ID: 14496668
We present an implementation of miniKanren, an embedding of logic programming in R 5 RS Scheme that comprises three logic…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE