Арифметические операции - Prolog

[INIFREY]

Помогите написать программу в прологе. Желательно Turbo Prolog.

Необходимо найти «срединный» элемент списка нечетной длины..


Вот пример для вычисления суммы четных элементов числового списка:

/* Ливорекурсивна процедура расчета суммы четных элементов списка sum (+ Cписок, -Cyммa)               */
t([Hl],0).             % граничное условие для списка нечетной длины
t([Hl,H2],H2).  % граничное условие для списка четной длины
t([Hl,H2[T],Sum):-
                       t(T,Int_sum),
Sum is Int_sum+H2.

Запросы
t([l,2,3,4,5],S).

S = 6 ->

yes
t([l,2,3,4,5,6],S).

S = 12 ->

yes

[rrrFer]

Берешь предикаты length и nth0 (в других видах пролога они встроенные, а в Turbo их надо дописать) и реализуешь очень просто:

middle_element(List, Element):-
  length(List, Length),
  HalfLength = Length / 2,
  MiddlePos = round(HalfLength),
  Length = MiddlePos * 2, % проверка нечетности (заодно)
  nth0(List, MiddlePos).

Примерно так.

[INIFREY]

Спасибо! А можно еще пример запроса? Не очень пока разобрался в прологе, пробовал middle_element([1,2,3],Element). и не работает

(делал в ARITY PROLOG )

[rrrFer]

Как именно "не работает"? Ошибки выдает какие-то или еще что-то?

[INIFREY]

Выдает всегда no
Скорее всего сам запрос не правильный

[rrrFer]

INIFREY
код программы (для турпролога, вы ведь в нем запускаете?) целиком скиньте

[INIFREY]

Запускал в ARITY PROLOG.
Код использовал:

middle_element(List, Element):-
  length(List, Length),
  HalfLength = Length / 2,
  MiddlePos = round(HalfLength),
  Length = MiddlePos * 2, % проверка нечетности (заодно)
  nth0(List, MiddlePos).

И запрос middle_element([1,2,3],Element).

[rrrFer]

убери строку

Length = MiddlePos * 2

Тут поидее должно быть что-то типа

Length \= MiddlePos * 2

И я не уверен что в Arity есть функция round.