4 ms·

My feeling is that proof assistants are much closer to general purpose programming than logic programming such as prolog.