Changeset 33215 in project


Ignore:
Timestamp:
02/24/16 15:25:52 (3 years ago)
Author:
ashinn
Message:

Update note about mini-kanren egg.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/eggref/4/kanren

    r16994 r33215  
    77=== Description
    88
    9 A declarative applicative logic programming system.
     9A declarative applicative logic programming system used in The Reasoned Schemer.
    1010
    1111=== Author
     
    1515=== Documentation
    1616
     17Note: 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.
     18
    1719KANREN 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.
    1820
    1921For more information and example code, visit [[http://kanren.sourceforge.net]].
    2022
    21 This extension provides the {{kanren}} and {{mini-kanren}} modules.
    22 
    2323=== Version
    2424
     25; 5.505 : rename mini-kanren to reasoned-schemer
    2526; 4.504 : fixed test-dependencies
    2627; 4.503 : Ported to CHICKEN 4
Note: See TracChangeset for help on using the changeset viewer.