---

Revision 4.50 - (view) (download) (annotate) - [select for diffs]
Sat Feb 12 00:04:44 2005 UTC (3 years, 9 months ago) by oleg
Branch: MAIN
CVS Tags: HEAD, RELEASE-1
Changes since 1.11: +8 -8 lines
Diff to previous 1.11

changing the order of arguments to a goal to be subst sk fk

---

Revision 1.11 - (view) (download) (annotate) - [select for diffs]
Sat Feb 5 05:25:59 2005 UTC (3 years, 9 months ago) by oleg
Branch: MAIN
Changes since 1.10: +45 -45 lines
Diff to previous 1.10

replacing brackets with parenteses, for the sake of compatibility.

---

Revision 1.10 - (view) (download) (annotate) - [select for diffs]
Thu Apr 15 04:48:05 2004 UTC (4 years, 7 months ago) by oleg
Branch: MAIN
Changes since 1.9: +2 -2 lines
Diff to previous 1.9

Getting rid of let-lv, which is now purely internal contraption.

---

Revision 1.9 - (view) (download) (annotate) - [select for diffs]
Sat Apr 10 02:47:21 2004 UTC (4 years, 7 months ago) by oleg
Branch: MAIN
Changes since 1.8: +34 -30 lines
Diff to previous 1.8

KANREN with tests and examples runs both on Chez and SCM

---

Revision 1.8 - (view) (download) (annotate) - [select for diffs]
Fri Apr 9 23:32:38 2004 UTC (4 years, 7 months ago) by oleg
Branch: MAIN
Changes since 1.7: +10 -9 lines
Diff to previous 1.7

Separating out Chez-specific stuff.

---

Revision 1.7 - (view) (download) (annotate) - [select for diffs]
Fri Apr 9 22:02:50 2004 UTC (4 years, 7 months ago) by oleg
Branch: MAIN
Changes since 1.6: +3 -26 lines
Diff to previous 1.6

Introducing eigen.

---

Revision 1.6 - (view) (download) (annotate) - [select for diffs]
Thu Mar 4 13:33:30 2004 UTC (4 years, 8 months ago) by dfried
Branch: MAIN
Changes since 1.5: +10 -9 lines
Diff to previous 1.5

deduction.scm with predicate.

---

Revision 1.5 - (view) (download) (annotate) - [select for diffs]
Sat Feb 14 00:42:29 2004 UTC (4 years, 9 months ago) by oleg
Branch: MAIN
Changes since 1.4: +117 -47 lines
Diff to previous 1.4

examples/deduction1.scm is merged with examples/deduction.scm
See the macro deduction-trace in the latter file.

---

Revision 1.4 - (view) (download) (annotate) - [select for diffs]
Sat Feb 14 00:14:35 2004 UTC (4 years, 9 months ago) by oleg
Branch: MAIN
Changes since 1.3: +2 -2 lines
Diff to previous 1.3

Removing an accidental duplication of a piece of code in kanren.ss
Renaming the constructor var into logical-variable. Ditto for var-id.
The frequently occurring predicate var? remains the same.

---

Revision 1.3 - (view) (download) (annotate) - [select for diffs]
Tue Feb 3 01:08:46 2004 UTC (4 years, 9 months ago) by oleg
Branch: MAIN
Changes since 1.2: +52 -55 lines
Diff to previous 1.2

Style changes.

---

Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Wed Jan 28 04:04:03 2004 UTC (4 years, 10 months ago) by oleg
Branch: MAIN
Changes since 1.1: +2 -2 lines
Diff to previous 1.1

Fixing the Freudean slip: an exclamation mark was called an explanation mark
(quite aptly for the context)

---

Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Fri Jan 23 00:03:05 2004 UTC (4 years, 10 months ago) by oleg
Branch: MAIN

Initial revision.