Predicate logic (also known as first-order logic or precdiate calculus) allows logical formulae including variables (such as X, Y, Person, Parent) and predicates (such as is_child_of(Person, Parent)). It does not allow higher-order formulae, that is predicte symbols cannot also be used as variables.
Also known as: predicate calculus