Constructive negation by bottom-up computation of literal answers