(type egg)
(signature "kanren egg")
(timestamp 1612269487)
(sxml ((section 2 "Outdated egg!" (p "This is an egg for CHICKEN 4, the unsupported old release.  You're almost certainly looking for " (int-link "/eggref/5/kanren" "the CHICKEN 5 version of this egg") ", if it exists.") (p "If it does not exist, there may be equivalent functionality provided by another egg; have a look at the " (link "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")) (section 2 "kanren" (toc) (section 3 "Description" (p "A declarative applicative logic programming system used in The Reasoned Schemer.")) (section 3 "Author" (p "Oleg Kiselyov and Dan Friedman, packaged for CHICKEN by Alex Shinn.")) (section 3 "Documentation" (p "Note: This extension provides the " (tt "kanren") " and " (tt "reasoned-schemer") " modules.  " (tt "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 " (tt "mini-kanren") " egg.  " (tt "kanren") " is a larger, more complicated language not widely used.") (p "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.") (p "For more information and example code, visit " (link "http://kanren.sourceforge.net") ".")) (section 3 "Version" (dl (dt "5.505") (dd "rename mini-kanren to reasoned-schemer") (dt "4.504") (dd "fixed test-dependencies") (dt "4.503") (dd "Ported to CHICKEN 4") (dt "4.502") (dd "There is now only a single setup file, also installs html [Thanks to Benedikt Rosenau]") (dt "4.501") (dd "Added missing file (" (tt "kanren-term.scm") ") [Thanks to Benedikt Rosenau]") (dt "4.50") (dd "Initial release"))) (section 3 "License" (p "KANREN is OpenSource, distributed under the MIT license.")))))
