Support rule atoms without variables