| Commit | Date | |
|---|---|---|
| 2000-12-19 15:58:23 | Tree | |
|
[r2131]
by
ruim
Working version of the multi threaded engine - available for knowledge of developers only |
2000-12-17 15:58:14 | Tree |
| 2000-12-15 21:45:58 | Tree | |
| 2000-12-14 20:09:18 | Tree | |
|
[r2128]
by
dwarren
Extended index/2 to work for assert-type indexing by giving a 0 |
2000-12-13 20:25:11 | Tree |
|
[r2127]
by
tswift
Change added to delete_return so that negation-failure simplification |
2000-12-13 16:36:38 | Tree |
| 2000-12-13 16:35:23 | Tree | |
| 2000-12-08 21:31:05 | Tree | |
| 2000-12-08 21:30:00 | Tree | |
|
[r2123]
by
ejohnson
Altered the manner in which the truth of negated subsumptive The new approach checks for a relevant answer using the |
2000-12-08 17:26:48 | Tree |