Is “almost pure” Prolog expressive?

Question

As @false commented earlier:

Yes, you can implement a Turing machine without dif/2. But you cannot even implement intersection or similar pr