Prolog functors cannot be nullary.