Length

length(?List, ?Length) (arg2p: tuProlog 3 has none): Length is the number of items of List. A partial list (its tail a variable) is completed with fresh variables to the given length, or, with no length given, to each length in turn from the items it has.