---

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

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

---

Revision 1.9 - (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.8: +4 -4 lines
Diff to previous 1.8

replacing brackets with parenteses, for the sake of compatibility.

---

Revision 1.8 - (view) (download) (annotate) - [select for diffs]
Mon Mar 22 23:40:34 2004 UTC (4 years, 8 months ago) by oleg
Branch: MAIN
Changes since 1.7: +6 -1 lines
Diff to previous 1.7

Added detection of bare-variables in pattern and removing the corresponding
bindings from the subst. The runtime of zebra slightly increases, but
the run-time of queens decreases. The size of subst is smaller.

---

Revision 1.7 - (view) (download) (annotate) - [select for diffs]
Mon Mar 22 18:07:58 2004 UTC (4 years, 8 months ago) by dfried
Branch: MAIN
Changes since 1.6: +20 -14 lines
Diff to previous 1.6

Replaced member by memb throughout.  Did not like overriding existing
Scheme built-in function.

---

Revision 1.6 - (view) (download) (annotate) - [select for diffs]
Fri Mar 12 05:46:38 2004 UTC (4 years, 8 months ago) by oleg
Branch: MAIN
Changes since 1.5: +7 -0 lines
Diff to previous 1.5

Added timings.

---

Revision 1.5 - (view) (download) (annotate) - [select for diffs]
Sat Mar 6 13:13:59 2004 UTC (4 years, 8 months ago) by dfried
Branch: MAIN
Changes since 1.4: +16 -15 lines
Diff to previous 1.4

Removed an occurrence of if-all!.

---

Revision 1.4 - (view) (download) (annotate) - [select for diffs]
Sat Feb 21 06:32:31 2004 UTC (4 years, 9 months ago) by oleg
Branch: MAIN
Changes since 1.3: +10 -1 lines
Diff to previous 1.3

Added 'once' annotations at one relation.

---

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

Taking advantages of head-let.

---

Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Tue Jan 27 21:37:58 2004 UTC (4 years, 10 months ago) by oleg
Branch: MAIN
Changes since 1.1: +5 -0 lines
Diff to previous 1.1

Added timing.

---

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