Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells.