Difference between First Order Logic and Predicate Calculus
First-order logic and first-order predicate calculus are the same thing, which is exactly why the terms are used interchangeably. See, for example, Wikipedia:


  First-order logic [...] is also known as first-order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic.