Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r9210] by tswift

Documented the addition of answer subsumption to predicate property.

2018-01-30 17:20:47 Tree
[r9209] by tswift

Changed description of tabling properties in predicate_property/2.

2018-01-29 22:16:52 Tree
[r9208] by dwarren

Added new predicates (and fixed a bug or two, I think.) (An unusual case
in which tests got ahead of the code...)

2018-01-27 21:47:38 Tree
[r9207] by tswift

Forgot to commit this yesterday.

2018-01-27 17:46:41 Tree
[r9206] by dwarren

Fix bug I introduced in multifile changes.

2018-01-27 14:15:45 Tree
[r9205] by tswift

Changes to use subgoal_property

2018-01-26 18:16:33 Tree
[r9204] by tswift

Changes for new predicate_property.

2018-01-26 18:16:00 Tree
[r9203] by tswift

Changes to predicste properties

2018-01-26 18:15:19 Tree
[r9202] by tswift

Documented changes to predicate_property.

2018-01-26 18:12:35 Tree
[r9201] by "kifer"

changed post_data/3 to /4 to include warnings

2018-01-26 01:14:44 Tree
Older >