> and basically no languages have an implication operator
Prolog does, but more intriguingly, so does Nix!
Prolog does, but more intriguingly, so does Nix!
But it's not quite the same thing, because all "boolean" operators in BASICs of old were actually bitwise! It worked in practice because the convention was to represent true as all-bits-set (i.e. -1 in two's complement). No short-circuit evaluation, of course - but back then, even languages that had dedicated boolean data types, like Pascal, didn't do it either.