opencog/opencog — pull request #1101 by misgeatgit (2014-11-16 06:12:00+00:00)
Title: Rule engine v 0.1 - a basic backward chainer

Running it on scheme shell
eg.
gulie> (cog-bc (InheritanceLink ( VariableNode "$isCrimina") (ConceptNode "criminal")))

(ListLink
(ListLink
(VariableNode "$isCriminal")
(ConceptNode "West")
)
)