Title: English as a (logic) programming language