Différence entre la logique du premier ordre et le calcul du prédicat

Question

Je vois les deux utilisés de manière interchangeable. L'un est-il le sous-ensemble de l'autre ou sont-ils tous les deux la même chose?