Cognitive Synergy between Procedural and Declarative Learning in OpenCogPrime