This is kanren.egg.info, produced by makeinfo version 4.7 from
eggdoc-output.texi.

INFO-DIR-SECTION The Algorithmic Language Scheme
START-INFO-DIR-ENTRY
* kanren.egg: (kanren.egg).		A declarative applicative logic programming system
END-INFO-DIR-ENTRY


File: kanren.egg.info,  Node: Top,  Next: About this egg,  Up: (dir)

kanren egg
**********

A declarative applicative logic programming system

Written by Oleg Kiselyov and Dan Friedman, packaged for CHICKEN by Alex
Shinn

   This manual corresponds to version 4.502 of the kanren extension
library for Chicken Scheme.

* Menu:

* About this egg::
* Documentation::
* License::
* Index::


File: kanren.egg.info,  Node: About this egg,  Next: Documentation,  Prev: Top,  Up: Top

1 About this egg
****************

* Menu:

* Version history::
* Requirements::
* Usage::


File: kanren.egg.info,  Node: Version history,  Next: Requirements,  Up: About this egg

1.1 Version history
===================

`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


File: kanren.egg.info,  Node: Requirements,  Next: Usage,  Prev: Version history,  Up: About this egg

1.2 Requirements
================

This egg requires the following extensions:

   `syntax-case'


File: kanren.egg.info,  Node: Usage,  Prev: Requirements,  Up: About this egg

1.3 Usage
=========

Load this egg like so:


(require-extension kanren)
(require-extension mini-kanren)


File: kanren.egg.info,  Node: Documentation,  Next: License,  Prev: About this egg,  Up: Top

2 Documentation
***************

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 (http://kanren.sourceforge.net)


File: kanren.egg.info,  Node: License,  Next: Index,  Prev: Documentation,  Up: Top

3 License
*********


KANREN is OpenSource, distributed under the MIT license.


File: kanren.egg.info,  Node: Index,  Prev: License,  Up: Top

Index
*****

 [index ]
* Menu:


Tag Table:
Node: Top254
Node: About this egg646
Node: Version history830
Node: Requirements1179
Node: Usage1382
Node: Documentation1569
Node: License2184
Node: Index2351

End Tag Table