Помогите, пожалуйста. Подскажите, что я неправильно делаю.
domains
ishodnoe=symbol*
chtozamenit=symbol*
nachtozamenit=symbol*
konec=symbol*
Predicates
spisok(ishodnoe).
zamena(ishodnoe,ctozamenit,nachtozamenit,konec).
Clauses
zamena([a,b,c,d,e,f],[a,b],[m,n],[m,n,c,d,e,f]).
zamena([a,b,c,d,e,f],[b,c],[m,n],[a,m,n,d,e,f]).
zamena([a,b,c,d,e,f],[c,d],[m,n],[a,b,m,n,e,f]).
zamena([a,b,c,d,e,f],[d,e],[m,n],[a,b,c,m,n,f]).
zamena([a,b,c,d,e,f],[e,f],[m,n],[m,n,c,d,m,n]).
spisok([a,b,c,d,e,f]).
goal
zamena([a,b,c,d,e,f],[a,b],[m,n],konec), //*здесь на konec пишет ошибку 506, мол, функтор не принадлежит домену. Такого быть не может. Я вроде всё правильно описывала.*//
write(“ishodnoe - ”,ishodnoe),write(“Konechnoe - ”,konec)