Anyone know of any kind of truth-maintenance system implemented in Ruby (or,
alternately, easily accessible from Ruby)?

Thanks.