---

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

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

---

Revision 1.6 - (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.5: +5 -5 lines
Diff to previous 1.5

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

---

Revision 1.5 - (view) (download) (annotate) - [select for diffs]
Wed Apr 21 21:47:43 2004 UTC (4 years, 7 months ago) by oleg
Branch: MAIN
Changes since 1.4: +24 -15 lines
Diff to previous 1.4

Make trace-vars prettier. Replacing with-depth with
extend-relation-with-recur-limit

---

Revision 1.4 - (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.3: +34 -29 lines
Diff to previous 1.3

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

---

Revision 1.3 - (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.2: +26 -28 lines
Diff to previous 1.2

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

---

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

mirror-equ.scm with predicate.

---

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