Select in swi prolog

Формулировка задачи:

select(?X, ?XList, ?Y, ?YList)

Select from two lists at the same positon. True if XList is unifiable with YList apart a single element at the same position that is unified with X in XList and with Y in YList - объяснение из документации. Может кто-то объяснить, как работает этот метод?

Решение задачи: «Select in swi prolog»

textual
                            Листинг программы 
                        

                            ?- select(X, [1,2,3,4,5], 99, Z).
X = 1,
Z = [99, 2, 3, 4, 5] ;
X = 2,
Z = [1, 99, 3, 4, 5] ;
X = 3,
Z = [1, 2, 99, 4, 5] ;
X = 4,
Z = [1, 2, 3, 99, 5] ;
X = 5,
Z = [1, 2, 3, 4, 99] ;
false.
                        