Результаты поиска по запросу "instantiation-error"
Простая прологическая программа. Получение ошибки:> / 2: аргументы недостаточно проработаны
Я сделал предикат ПрологаposAt(List1,P,List2) проверяет, находится ли элемент в позицииP ofList1 а такжеList2 равны posAt([X|Z], 1, [Y|W]) :- X = Y. posAt([Z|X], K, [W|Y]) :- K > 1, Kr is K - 1, posAt(X, Kr, Y). При тестировании: ?- ...
Пролог - Аргументы недостаточно проработаны
Я пишу небольшую программу, которая подсчитывает, сколько элементов в списке не являются числами. Вот мой код: not_number([],0). not_number([X|T],R):- not(number(X)), R1 is R+1, not_number(T,R1). not_number([_|Tail],Result):- ...