Вопросы по теме 'instantiation-error'

Аргументы недостаточно инстанцированы SWI-Prolog
Я пытаюсь написать сценарий Prolog, который может создать список строк, который после простой процедуры приведет к заданной строке. Мои знания Пролога очень ограничены, и я не уверен, что он вообще может это сделать, поэтому, пожалуйста, скажите мне,...
3908 просмотров
schedule 16.03.2024

Пролог равен /2, аргументы недостаточно конкретизированы
Я работаю над заданием, где я создал парсер для арифметического языка префиксной записи. Мне нужно написать предикат, который строит ast для любого заданного значения V (т. е. генерирует ast A таким образом, что всякий раз, когда A оценивается, его...
2236 просмотров

Пролог - аргументы не созданы в достаточной степени
Я пишу небольшую программу, которая подсчитывает, сколько элементов в списке не являются числами. Вот мой код: not_number([],0). not_number([X|T],R):- not(number(X)), R1 is R+1, not_number(T,R1). not_number([_|Tail],Result):-...
56668 просмотров
schedule 29.07.2023