Вопросы по теме 'instantiation-error'
Аргументы недостаточно инстанцированы SWI-Prolog
Я пытаюсь написать сценарий Prolog, который может создать список строк, который после простой процедуры приведет к заданной строке. Мои знания Пролога очень ограничены, и я не уверен, что он вообще может это сделать, поэтому, пожалуйста, скажите мне,...
3908 просмотров
schedule
16.03.2024
Пролог равен /2, аргументы недостаточно конкретизированы
Я работаю над заданием, где я создал парсер для арифметического языка префиксной записи. Мне нужно написать предикат, который строит ast для любого заданного значения V (т. е. генерирует ast A таким образом, что всякий раз, когда A оценивается, его...
2236 просмотров
schedule
08.10.2022
Пролог - аргументы не созданы в достаточной степени
Я пишу небольшую программу, которая подсчитывает, сколько элементов в списке не являются числами. Вот мой код:
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