First-order logic is a more advanced version of predicate logic that allows for quantifiers and variables.