opencog/opencog — pull request #449 by linas (2013-12-17 16:38:00+00:00)
Title: Try to set up Einstein puzzle via forward chaining

This set of commits creates a new unit test for the pattern matcher. It implements a simple-minded forward-chainer to solve the Einstein puzzle.