opencog/opencog — pull request #749 by linas (2014-05-13 21:49:29+00:00)
Title: Add priority-ordered search to pattern matcher.

Search can be truncated or prioritized with this new callback.