opencog/opencog — pull request #899 by hujiewang (2014-06-26 18:04:33+00:00)
Title: Implementation of modified version of hobbs algorithm

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