Definition:Predicate Logic

Predicate logic is an extension of propositional logic in which the internal structure of simple statements is analysed.

It is sometimes referred to as "first-order logic".

Similarly with propositional logic being referred to as "PropLog", it is often abbreviated as "PredLog".