Не считается итоговый результат, выводит X = 0+1+1, а не 2

@klik07 · Регистрация: 17.11.2013

только начинаю осваивать пролог. использую swi prolog. описал clauses

Prolog

1 2	length1([],0) :- !. length1([H\|T],X) :- length1(T,X1), X = X1 + 1.

запрашиваю результат

Prolog

1 2	?- length1([1,2],X). X = 0+1+1.

не пойму, что не так.

@Black Fregat · 14.05.2014, 08:41

Для SWI другую операцию нужно использовать

Prolog

1 2	length1([],0) :- !. length1([H\|T],X) :- length1(T,X1), X is X1 + 1.

И отсечение в первом правиле лишнее, они и так не пересекаются

	14.05.2014, 08:41