module MetaCL::Logic