Select in swi prolog

@segday · Регистрация: 24.12.2014

Author24 — интернет-сервис помощи студентам

Prolog

1	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 - объяснение из документации. Может кто-то объяснить, как работает этот метод?

@SHIFT_969 · 20.11.2017, 14:42

Если XList != YList и XList[x] == YList[y], то возвращает это значение

Добавлено через 49 секунд
Ну, это то, как я понял...

@segday · 20.11.2017, 15:09 **[ТС]**

SHIFT_969, а разве не с точностью до наоборот?

@SHIFT_969 · 20.11.2017, 16:45

segday, oтладь и посмотри

@Case-Man · 21.11.2017, 00:46

Код

?- 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.

@SHIFT_969 Злой самаритянин 182 / 182 / 94 Регистрация: 24.04.2014 Сообщений: 686
	20.11.2017, 14:42	2
	Если `XList != YList` и `XList[x] == YList[y]`, то возвращает это значение Добавлено через 49 секунд Ну, это то, как я понял... 0

@segday 0 / 0 / 0 Регистрация: 24.12.2014 Сообщений: 13
	20.11.2017, 15:09 [ТС]	3
	SHIFT_969, а разве не с точностью до наоборот? 0

@SHIFT_969 Злой самаритянин 182 / 182 / 94 Регистрация: 24.04.2014 Сообщений: 686
	20.11.2017, 16:45	4
	segday, oтладь и посмотри 0

@Case-Man 167 / 107 / 22 Регистрация: 02.01.2012 Сообщений: 596
	21.11.2017, 00:46	5
	Код ?- 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. 0