3 ms·
The :- is supposed to sort of look like a left facing arrow for an implication. I think this notation started with prolog, so that is my guess why they chose t
by jonjojojon 2y ago
The :- is supposed to sort of look like a left facing arrow for an implication.
I think this notation started with prolog, so that is my guess why they chose to make it like this.