You can edit this page using wiki syntax for markup.

Article contents:== Outdated egg! This is an egg for CHICKEN 4, the unsupported old release. You're almost certainly looking for [[/eggref/5/kanren|the CHICKEN 5 version of this egg]], if it exists. If it does not exist, there may be equivalent functionality provided by another egg; have a look at the [[https://wiki.call-cc.org/chicken-projects/egg-index-5.html|egg index]]. Otherwise, please consider porting this egg to the current version of CHICKEN. [[tags: egg]] == kanren [[toc:]] === Description A declarative applicative logic programming system used in The Reasoned Schemer. === Author Oleg Kiselyov and Dan Friedman, packaged for CHICKEN by Alex Shinn. === Documentation Note: This extension provides the {{kanren}} and {{reasoned-schemer}} modules. {{reasoned-schemer}} is the language used in the book of the same name, useful when following along but otherwise deprecated by improvements provided in the {{mini-kanren}} egg. {{kanren}} is a larger, more complicated language not widely used. KANREN is a declarative logic programming system with first-class relations, embedded in a pure functional subset of Scheme. The system has a set-theoretical semantics, true unions, fair scheduling, first-class relations, lexically-scoped logical variables, depth-first and iterative deepening strategies. The system achieves high performance and expressivity without cuts. For more information and example code, visit [[http://kanren.sourceforge.net]]. === Version ; 5.505 : rename mini-kanren to reasoned-schemer ; 4.504 : fixed test-dependencies ; 4.503 : Ported to CHICKEN 4 ; 4.502 : There is now only a single setup file, also installs html [Thanks to Benedikt Rosenau] ; 4.501 : Added missing file ({{kanren-term.scm}}) [Thanks to Benedikt Rosenau] ; 4.50 : Initial release === License KANREN is OpenSource, distributed under the MIT license. Description of your changes:

I would like to authenticate

Spam control

What do you get when you multiply 2 by 7?