Здравствуйте.
Пытаюсь сделать предикат который берёт: список целых чисел, переменную. И возвращает число записанное в списке как переменную.
Тоесть другими словами например

Вот так пытаюсь сделать

Но получаю ошибку

Пришел вот к такому коду,

Но почему-то в ответе я получаю вместо переменной

Как быть? И почему так?

Это сообщение отредактировал(а) Ak47black - 19.9.2010, 18:23

Я уже Вам сегодня писал - в языке Пролог нет оператора присваивания. Обе процитированные конструкции вернут false вне зависимости от чего-либо другого. 

А тогда сделать, что запрос и ответ выглядел так

?

Добавлено через 6 минут и 19 секунд
Знаете, я не уверен, но может я плохо само условие задачи понял.
Такое вообще в принципе возможно, что в ответе можно получить переменную?

Возможно, но переменная изначально не должна быть инициализирована.

Ваша задача решается, например, так:



Вызов, соответственно, ln([1,9,8,5],0,Result). Если лишний нуль в вызове не нравится, можно приделать "оболочку":

Для меня вот это код ещё непонятен, если Вы его прокомментируете, то было-бы интересно узнать как он работает    

А вообще спасибо, за доходчивые объяснения

Это сообщение отредактировал(а) Ak47black - 19.9.2010, 20:28

Все просто. Предполагается, что первый и второй параметры этого предиката при его вызове определены, а третий - нет (и он фактически является чем-то вроде возращаемого параметра процедуры). Соответственно, первая альтернатива имеет такой смысл: если список в первом параметре пуст, то значение третьего параметра становится равным значению второго. Фактически это просто конец рекурсии - в тот момент, когда список исчерпался, накопившееся во втором параметре значение надо начинать возвращать обратно.