random:maybe/0 is badly named

[dcnorris]

Currently defined as,

%% maybe.
% 
% Succeeds with probability 0.5.
maybe :- '$maybe'.

and works like this:

?- use_module(library(random)).
   true.
?- maybe.
   true.
?- maybe.
   true.
?- maybe.
   false.
?- maybe.
   true.

A more suitable name would be based on the https://en.wikipedia.org/wiki/Bernoulli_trial concept.

The clash with Maybe types as in Haskell — or Rust! — is also unfortunate.

[UWN]

Another clash is with the answer description maybe to signal some constraints that are not shown. Originally in CLP(R)