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.

This sentence is incorrect. Is that on purpose?