Пролог - аргументы не созданы в достаточной степени

Я пишу этот ответ, потому что лучший ответ пока был в комментарии от lurker. Я хочу, чтобы это явилось действительным ответом.

Ваш код не работает, потому что вы делаете R1 is R+1, когда R не создается в случае not_number([X|T], R). Ваш рекурсивный регистр немного сдвинут назад. Вы хотите сделать это:

not_number([X|T],R):- 
    not(number(X)),
    not_number(T,R1),
    R is R1+1.

Теперь правая часть is создается при его вызове.

Ваша проблема в том, что при таких арифметических вычислениях:

A is B

все на правой стороне (B) должно быть уже известно. Никаких переменных нет.

Вы можете сделать что-то вроде этого:

not_number(X, Y) :- not_number(X, Y, 0).
not_number([], Y, Y).
not_number([H|T], Y, Z) :-
    \+ (number(H)), 
    Z1 is Z+1,
    not_number(T, Y, Z1).

not_number([H|T], Y, Z) :-
    number(H),
    not_number(T, Y, Z).

(протестировал этот код сейчас, он работает).

Теперь третий аргумент - аккумулятор. Он считает, сколько существует не-чисел. Когда список пуст, этот третий аргумент объединяется со вторым и становится правильным ответом.

Пролог, если ему представится такая возможность, пойдет по всем возможным маршрутам. Если вы сделаете что-то вроде этого:

cat(adam).
cat(eve).

а потом спросите:

?- cat(X).

Вы могли получить оба ответа: Х = Адам и Х = Ева. Это применимо и к вашему коду: обратите внимание, что если заголовок списка не является числом, вы все равно можете сделать это:

not_number([_|Tail],Result):-
    not_number(Tail,Result).  

что дает не тот ответ, который вам хотелось бы. Вы должны отрезать маршруты, которые вас не интересуют. В этом случае я бы добавил

number(Head).

чтобы гарантировать, что мы пропустим элемент в списке без увеличения счетчика на 1, только если этот элемент не является числом.

Чтобы заставить Пролог находить другие результаты, вы должны нажать ";" на клавиатуре (как в этом примере Адама и Евы).

Общее решение таких проблем - использовать ограничения.

Например, ваша программа работает точно так, как ожидалось, если вы просто используете clpfd ограничения. Просто замените (is)/2 на (#=)/2, чтобы получить целочисленную арифметику, которая работает во всех направлениях:

:- use_module(library(clpfd)).

not_number([],0).
not_number([X|T],R):- 
    \+ number(X),
    R1 #= R+1,  
    not_number(T,R1). 

not_number([_|Tail],Result):-
    not_number(Tail,Result).

Пример запроса и его результат:

?- not_number([1,2,3,5], R).
R = 0.

Также обратите внимание, что я изменил код, чтобы использовать предикат ISO (\+)/1 вместо not/1.

В моем случае вместо is пришлось использовать =

Вместо этого

X is AnotherVariable

Мне пришлось написать

X = AnotherVariable