Optimization, but not yet working: Compare attributes of fact which should be added -> don't add if they are the same
Improved comparison of attribute names, but not finished
Fix in facts1.clp
Added printouts
Corrected att-comparison, but not yet working...
Attnotthesame should be done, problem is rooted in implementation of checking of 'fact does not exist yet'
FINALLY fixed the problem with the fact-check
Corrected printout messages
Changed salience of resolution so that it gets printed out at the end of the fact generation
Added salience to resolution so that the solution gets printed out at the end of the execution