Telefona gönder: The logical basis for computer programming