You might say that Prolog is a devout atheist.