3 ms·

Same! Man, where was a post like this when I was struggling trying to learn Prolog, modelling something with knights and knaves...