A Case for Goal-oriented Programming Semantics | AMiner