---

Revision 4.50 - (view) (download) (annotate) - [select for diffs]
Sat Feb 12 00:04:47 2005 UTC (3 years, 9 months ago) by oleg
Branch: MAIN
CVS Tags: HEAD, RELEASE-1
Changes since 1.11: +1 -1 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:57:37 2005 UTC (3 years, 9 months ago) by oleg
Branch: MAIN
Changes since 1.10: +4 -4 lines
Diff to previous 1.10

normalizing terminology: antecedent -> goal

---

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

replacing brackets with parenteses, for the sake of compatibility.

---

Revision 1.9 - (view) (download) (annotate) - [select for diffs]
Thu Feb 3 03:30:40 2005 UTC (3 years, 9 months ago) by oleg
Branch: MAIN
Changes since 1.8: +11 -11 lines
Diff to previous 1.8

separating out term.scm; restructuring kanren.ss and eliminating dead wood.

---

Revision 1.8 - (view) (download) (annotate) - [select for diffs]
Wed Apr 28 19:01:20 2004 UTC (4 years, 7 months ago) by oleg
Branch: MAIN
Changes since 1.7: +2 -2 lines
Diff to previous 1.7

New concretize; removed reduntant concretize-var, concretize-term, etc.

---

Revision 1.7 - (view) (download) (annotate) - [select for diffs]
Wed Apr 14 21:43:57 2004 UTC (4 years, 7 months ago) by oleg
Branch: MAIN
Changes since 1.6: +30 -32 lines
Diff to previous 1.6

query is now a macro -- more general than solve/solution.
let-lv is now well-hidden.

---

Revision 1.6 - (view) (download) (annotate) - [select for diffs]
Wed Apr 14 20:24:48 2004 UTC (4 years, 7 months ago) by oleg
Branch: MAIN
Changes since 1.5: +2 -2 lines
Diff to previous 1.5

Fixing a few portability problems reported by Grzegorz Chrupala.
He mentioned that after the problems are fixed, the result runs with Gauche
Scheme.

---

Revision 1.5 - (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.4: +2 -17 lines
Diff to previous 1.4

Introducing eigen.

---

Revision 1.4 - (view) (download) (annotate) - [select for diffs]
Fri Mar 19 21:32:30 2004 UTC (4 years, 8 months ago) by oleg
Branch: MAIN
Changes since 1.3: +45 -53 lines
Diff to previous 1.3

Moving some common stuff into kanren.ss
Using trace-vars and making the output prettier.

---

Revision 1.3 - (view) (download) (annotate) - [select for diffs]
Thu Mar 4 13:39:20 2004 UTC (4 years, 8 months ago) by dfried
Branch: MAIN
Changes since 1.2: +6 -5 lines
Diff to previous 1.2

mirror.scm with predicate.

---

Revision 1.2 - (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.1: +2 -2 lines
Diff to previous 1.1

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.1 - (view) (download) (annotate) - [select for diffs]
Tue Jan 20 04:53:54 2004 UTC (4 years, 10 months ago) by oleg
Branch: MAIN
CVS Tags: BASE_PT

Import into the SourceForge repository. Separating out benchmarks and examples
from one big file kanren.ss