3 ms·
See also Prolog and Erlang where assignment is both an assertion test and an initial binding where no binding is there to assert.
by eyelidlessness 5y ago
See also Prolog and Erlang where assignment is both an assertion test and an initial binding where no binding is there to assert.