And Erlang got that from Prolog, which certainly could have taken it in turn from something even earlier.