What do you think about answer-set programming vs more general solvers like SICStus.