[logicprog]

IMHO, Doom without a doubt. It is much cleaner, less buggy, and chooses better packages and configuration defaults in my opinion. It's also even more committed to vim key bindings everywhere than spacemacs is iirc