4not/1 is called a meta-predicate because its argument is Prolog code in the form of a predicate, rather than data.