English astronomer who used Newton's laws of motion to predict the period of a comet (1656-1742)