post_tag finite-choicelogicprogrammingfclp