From: itsme213 <itsme213@...>
Date: 2005-06-17T23:45:33+09:00
Subject: Truth maintenance system in Ruby

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

Thanks.