A language that confluences computation and common sense