Comment by victorbjorklund

You can do it in one expression in Elixir:

x = length(list) + 1

On the other hand I don’t really see why it is an issue with Prolog (maybe there are more complicated situations than the example)