The deductions table

Time to get serious about the output of the inference engine.

The output would be rows of relations (one per row) under the Deductions rolon. The easy way would be for the infer command to destroy all existing rows and then create afresh. Not good if there are a lot of relations and the changes from one run to the next are small--a likely scenario.

Better to take a difference, delete the rows which no longer apply and then add the new rows as needed. The advantage here is not only speed, but the journal then shows the changes, and those changes might just be meaningful input for an application!

Bill