Перестановка фишек - Prolog

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

Дано задание. Пешки. На горизонтальной доске состоящей из 7 ячеек расположены три белые и три черные пешки с одной свободной ячейкой между ними: A,A,A,_,N,N,N Найти последовательность преобразований начальной конфигурации для получения конечной конфигурации в которой белые пешки меняются с черными местами: N,N,N,_,A,A,A применяя следующие правила: - черная пешка может быть передвинута в лево на соседнюю ячейку если она свободна, например A,N,A,_,N,N,A → A,N,A,N,_,N,A - черная пешка может перепрыгнуть в лево через белую если там находится свободная ячейка, например A,N,_,A,N,N,A → A,N,N,A,_,N,A - белая пешка может быть передвинута в право на соседнюю ячейку если она свободна, например A,N,A,_,N,N,A → A,N,_,A,N,N,A - белая пешка может перепрыгнуть в право через черную если там находится свободная ячейка, например A,A,N,_,N,N,A → A,_,N,A,N,N,A

Domains 
   element = x;p;o 
   spisok = element* 
   protokol = spisok* 
Predicates 
nondeterm igra(spisok,protokol,spisok) 
nondeterm dvinuti(spisok,spisok) 
Goal 
   start = [x,x,x,p,o,o,o], 
   finish = [o,o,o,p,x,x,x], 
   igra(start,protokol,finish),!. 
Clauses 
  igra(finish,[],finish):-!. 
  igra(poloj,[novpoloj|podspis],finish):- 
   dvinuti(poloj,novpoloj), 
   igra(novpoloj,podspis,finish). 
 
  dvinuti([x,p|pospis],[p,x|pospis]).    % Двинуть х вправо 
  dvinuti([x,o,p|L],[p,o,x|L]).          % Двинуть х через о 
  dvinuti([p,o|L],[o,p|L]).              % Двинуть о влево 
  dvinuti([p,x,o|L],[o,x,p|L]).          % Двинуть о через х 
  dvinuti([A|L],[A|L1]):- dvinuti(L,L1).

Вопрос - в разделе GOAL пишет, что после start = [..] Type error.... Что там неправильно?

Решение задачи: «Перестановка фишек»

textual
                            Листинг программы 
                        
                            [[x,x,p,x,o,o,o],[x,x,o,x,p,o,o],[x,x,o,x,o,p,o],[x,x,o,p,o,x,o],[x,p,o,x,o,x,o],[p,x,o,x,o,x,o],[o,x,p,x,o,x,o],[o,x,o,x,p,x,o],[o,x,o,x,o,x,p],[o,x,o,x,o,p,x],[o,x,o,p,o,x,x],[o,p,o,x,o,x,x],[o,o,p,x,o,x,x],[o,o,o,x,p,x,x],[o,o,o,p,x,x,x]]