Boost.org logic module