| Commit | Date | |
|---|---|---|
| 2021-02-04 22:43:49 | Tree | |
|
[r9798]
by
tswift
Fixed an incomprehensible error message, and added a new predicate to find the module of a term and format the term with the module for errors and debugging. |
2021-02-04 22:42:55 | Tree |
| 2021-02-03 19:27:20 | Tree | |
|
[r9796]
by
tswift
Fixed table abolishes for table_indexed predicates. I broke this when I added |
2021-02-03 18:40:04 | Tree |
|
[r9795]
by
tswift
Added a test for tabled answer subsumption executed within a module along with a test of abolishing table_indexed predicates. |
2021-02-03 18:38:15 | Tree |
| 2021-02-02 23:25:06 | Tree | |
| 2021-02-02 23:24:20 | Tree | |
| 2021-02-02 23:22:57 | Tree | |
| 2021-02-02 23:21:25 | Tree | |
| 2021-02-02 23:20:25 | Tree |