# Backward Chainer with Lambda Abstraction

Experiment with backward chaining with lambda abstraction.  It is like
the regular curried backward chainer but with an extra rule that can
build lambda abstraction.