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.