Pattern matcher

From OpenCog