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")
   )
)