| Commit | Date | |
|---|---|---|
|
[r7697]
by
dwarren
Updates for interning ground structured terms; adding new .c and .h file. |
2013-01-04 15:02:16 | Tree |
|
[r7696]
by
dwarren
Added comment (after end_of_file.) that describes a bug that I don't |
2013-01-04 14:59:56 | Tree |
|
[r7695]
by
dwarren
Many changes, motivated by adding intial code to support interning |
2013-01-04 14:58:11 | Tree |
|
[r7694]
by
dwarren
Many updates: almost all due to initial coding in preparation for |
2013-01-04 14:56:22 | Tree |
| 2013-01-04 14:53:19 | Tree | |
| 2013-01-04 13:56:45 | Tree | |
| 2013-01-04 13:55:12 | Tree | |
| 2013-01-04 13:54:18 | Tree | |
| 2013-01-04 13:53:32 | Tree | |
|
[r7688]
by
dwarren
Fixed bug in answer subsumption. Problem was that '/'/2 was used in |
2012-12-18 17:20:37 | Tree |