Working code has the important attribute of being executable. Inference rules aren’t executable.

Modeling work is important, but the pl community spends so much time modeling that they forget to value actually building things.