---

Revision 4.51 - (view) (download) (annotate) - [select for diffs]
Fri Mar 4 23:43:03 2005 UTC (3 years, 8 months ago) by oleg
Branch: MAIN
CVS Tags: HEAD
Changes since 4.50: +41 -36 lines
Diff to previous 4.50

improved comments; eliminating one duplicate answer in logo

---

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

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

---

Revision 1.20 - (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.19: +4 -4 lines
Diff to previous 1.19

normalizing terminology: antecedent -> goal

---

Revision 1.19 - (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.18: +33 -33 lines
Diff to previous 1.18

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

---

Revision 1.18 - (view) (download) (annotate) - [select for diffs]
Sat Dec 18 05:41:39 2004 UTC (3 years, 11 months ago) by oleg
Branch: MAIN
Changes since 1.17: +12 -1 lines
Diff to previous 1.17

remarks on tests that share variables

---

Revision 1.17 - (view) (download) (annotate) - [select for diffs]
Wed Dec 15 00:31:46 2004 UTC (3 years, 11 months ago) by oleg
Branch: MAIN
Changes since 1.16: +23 -9 lines
Diff to previous 1.16

adding cases for logo when b=0 or b=1

---

Revision 1.16 - (view) (download) (annotate) - [select for diffs]
Tue Nov 16 05:07:22 2004 UTC (4 years ago) by oleg
Branch: MAIN
Changes since 1.15: +33 -29 lines
Diff to previous 1.15

renaming expo for logo

---

Revision 1.15 - (view) (download) (annotate) - [select for diffs]
Wed Oct 6 19:27:19 2004 UTC (4 years, 1 month ago) by oleg
Branch: MAIN
Changes since 1.14: +46 -9 lines
Diff to previous 1.14

done expo.

---

Revision 1.14 - (view) (download) (annotate) - [select for diffs]
Wed Oct 6 04:30:31 2004 UTC (4 years, 1 month ago) by oleg
Branch: MAIN
Changes since 1.13: +201 -4 lines
Diff to previous 1.13

done exp2, expo still needs work.

---

Revision 1.13 - (view) (download) (annotate) - [select for diffs]
Mon Oct 4 23:21:04 2004 UTC (4 years, 1 month ago) by oleg
Branch: MAIN
Changes since 1.12: +55 -9 lines
Diff to previous 1.12

recursive enumerability of division

---

Revision 1.12 - (view) (download) (annotate) - [select for diffs]
Fri Sep 24 22:10:59 2004 UTC (4 years, 2 months ago) by oleg
Branch: MAIN
Changes since 1.11: +34 -19 lines
Diff to previous 1.11

optimized <o, on Ken's suggestion

---

Revision 1.11 - (view) (download) (annotate) - [select for diffs]
Tue Aug 24 22:34:22 2004 UTC (4 years, 3 months ago) by oleg
Branch: MAIN
Changes since 1.10: +33 -13 lines
Diff to previous 1.10

optimizing divo, adding correctness proofs of divo

---

Revision 1.10 - (view) (download) (annotate) - [select for diffs]
Mon Aug 23 21:53:39 2004 UTC (4 years, 3 months ago) by oleg
Branch: MAIN
Changes since 1.9: +162 -22 lines
Diff to previous 1.9

divo is more refutationally complete

---

Revision 1.9 - (view) (download) (annotate) - [select for diffs]
Tue Aug 17 23:30:25 2004 UTC (4 years, 3 months ago) by oleg
Branch: MAIN
Changes since 1.8: +22 -7 lines
Diff to previous 1.8

Adjusting comments, esp. with regard to refutational completeness.

---

Revision 1.8 - (view) (download) (annotate) - [select for diffs]
Sat Aug 14 04:55:42 2004 UTC (4 years, 3 months ago) by oleg
Branch: MAIN
Changes since 1.7: +68 -19 lines
Diff to previous 1.7

more symmetric **o, with respect to the handling of evens

---

Revision 1.7 - (view) (download) (annotate) - [select for diffs]
Thu Aug 5 20:17:38 2004 UTC (4 years, 3 months ago) by oleg
Branch: MAIN
Changes since 1.6: +118 -53 lines
Diff to previous 1.6

using all-interleave to reimplement recursively enumerating full-adder, to amazing results.

---

Revision 1.6 - (view) (download) (annotate) - [select for diffs]
Wed Aug 4 03:54:44 2004 UTC (4 years, 3 months ago) by oleg
Branch: MAIN
Changes since 1.5: +276 -61 lines
Diff to previous 1.5

addition is now recursively enumerating

---

Revision 1.5 - (view) (download) (annotate) - [select for diffs]
Wed Jul 28 04:56:39 2004 UTC (4 years, 4 months ago) by oleg
Branch: MAIN
Changes since 1.4: +25 -9 lines
Diff to previous 1.4

adding interleaving and making **o recursively enumerate the set of X*Y=Z

---

Revision 1.4 - (view) (download) (annotate) - [select for diffs]
Fri Jul 23 18:23:01 2004 UTC (4 years, 4 months ago) by oleg
Branch: MAIN
Changes since 1.3: +34 -1 lines
Diff to previous 1.3

added more explanations

---

Revision 1.3 - (view) (download) (annotate) - [select for diffs]
Tue Jun 22 04:50:59 2004 UTC (4 years, 5 months ago) by oleg
Branch: MAIN
Changes since 1.2: +195 -51 lines
Diff to previous 1.2

All relations terminate, numbers are well-formed, more tests

---

Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Fri Jun 18 19:07:13 2004 UTC (4 years, 5 months ago) by oleg
Branch: MAIN
Changes since 1.1: +5 -5 lines
Diff to previous 1.1

adding the clause r < m

---

Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Fri Jun 18 02:28:00 2004 UTC (4 years, 5 months ago) by oleg
Branch: MAIN

initial revision