Implementation of modified version of hobbs algorithm

@linas  It's still in progress, but it can do some basic resolutions right now, see Readme file for details.

Hmmm. Although, as I think about this, I think I would be happier if this was done the way I describe in the other note, below ...