A meta-variable is a variable which appears in place of a callable Prolog structure. Two types of meta-variable are allowed in PROLOG: condition meta-variables and predicate meta-variables.