Autoterm Merging

Supplanting the CNF grid function.

Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

Bringing collaboration back ended up being simpler than expected, only a few dozen lines of code. The memoized look-up is logged to a file. When it comes time to merge two several CNFs, the CNFs are cross referenced with the look-ups. A new CNF (and new look-up) is generated. This also has the benefit of logging every label used. A brief inspection of the look-up can reveal if someone used the wrong indexing by mistake.

Mail: (not shown)

Please type this: