Описание тега instantiation-error
Ошибка создания экземпляра возникает в Прологе, когда аргумент недостаточно создан. Часто встречается с (is)/2 и встроенными функциями арифметического сравнения, такими как (>)/2 и (=:=)/2, которые все ожидают выражения без переменных.
4
ответа
Поиск в файлах в прологе
Здравствуйте, я пытался создать код, который будет находить данный символ из входного файла и распечатывать его положение, вот что я получил "с помощью похожих проблем, которые я нашел" process2(Text,POS):- open('houses.txt', read, In), get_char(In,…
27 мар '16 в 17:26
1
ответ
Пролог - Аргументы недостаточно проработаны
Я пытаюсь проверить наличие четных / нечетных игроков и четных / нечетных столбцов в игре путем подсчета количества игроков и столбцов. В какой-то момент кажется, что я неправильно создаю экземпляры своих переменных. Вот как я называю игру: playGame…
21 апр '17 в 21:21
1
ответ
Аргументы не достаточно конкретизированы прологом
Попытка написать программу, которая решает эту проблему: "Вам дают два кувшина: 5-галлонный и 3-галлонный. Ни на одном из них нет никаких измерительных маркеров. Существует кран, который можно использовать для наполнения кувшинов водой. Цель - получ…
15 дек '18 в 14:40
1
ответ
Пролог: Глава списка переменных не создается
Я пишу простой код, генерирующий простой список из 5 чисел, чья первая переменная должна быть положительной, и я пытаюсь понять, почему этот код не работает test([H|T]) :- H > 0, length(T,4). когда я звоню с length(X,5), test(X). это показывает м…
28 июн '17 в 15:57
1
ответ
Пролог - Аргументы недостаточно проработаны. Глубина рекурсии
Я новичок в прологе и хочу ограничить глубину рекурсии, но он продолжает выдавать ошибку "Аргументы не достаточно созданы". Я обобщу задачу на график. edge(a,b). edge(a,x). edge(b,c). edge(b,x). edge(c,d). Итак, есть путь от a до d: abcd. Довольно л…
10 дек '17 в 00:37
1
ответ
Аргументация недостаточно обоснована
Итак, я только начал с Пролога, и я продолжаю получать эту ошибку переменной Синглтона (Quo,C) и Argumnets по существу не инстанцируется. Quo:- read(A), read(B), C is A/B, write(C). Простой код для нахождения коэффициента деления 2 чисел сделан здес…
08 дек '14 в 08:11
1
ответ
Пролог - средний предикат: аргументы недостаточно проработаны
У меня есть список автомобилей (auto на немецком языке), где первая переменная - номерной знак, а вторая - скорость: [auto(eu-ts884, 69), auto(dn-gh184, 64), auto(ac-lj123, 72)]. Теперь я пытаюсь написать средний предикат, но он не может получить со…
23 мар '17 в 17:04
1
ответ
Пролог Разница квадратов
Я хочу найти разницу между квадратом a+1 и квадратом a 2a+1 в прологе. По этой причине я написал такой код: :- use_module(library(clpfd)). kare(X,Y):- Y #= X*X. abc(A,B,F) :- kare(A,P), kare(B,T), F is P-T. Я попробовал это с ?- abc(D,E,P). ERROR: i…
21 май '16 в 10:10
1
ответ
Почему =:= выдает ошибку, когда переменная не создается, а == нет?
3 == X. приведет к ответу "нет", но 3 =:= X приведет к ошибке: ! Instantiation error in argument 2 of (=:=)/2 ! goal: 3=:=_409 Почему это происходит? Разве они оба не должны вести себя одинаково, когда кто-то является необоснованной переменной?
04 мар '17 в 11:43
0
ответов
Ошибка при оценке выражения в прологе
Я очень новичок в Прологе. Мне нужно найти все пути от источника до места назначения в лабиринте. Я написал следующее предложение, чтобы мне не приходилось писать все граничные отношения явно: neighbour(X,Y) :- ( X =:= Y+1 ; Y =:= X+1 ; X =:= Y+6 ; …
21 окт '17 в 06:32
0
ответов
ОШИБКА: is/2: Аргументы недостаточно проработаны в прологе
Я новый пользователь в Прологе, я пытаюсь масштабировать и преобразовывать координаты в картах, но получил ошибку "недостаточно создан" в масштабе и преобразовал ПРАВИЛО. вот мои правила, кажется, что Аргументы недостаточно проработаны, не могли бы …
31 июл '15 в 13:33
1
ответ
Разрешить квадратное уравнение в прологе
У меня проблема с реализацией квадратного уравнения в прологе. Я знаю некоторые основы, но в то же время я не могу понять вывод консоли swish.swi. Буду признателен за любую помощь или предложения с вашей стороны по поводу моих ошибок. delta(A, B, C,…
20 окт '14 в 20:59
2
ответа
Пролог Аргументы не достаточно созданы, R является [H|R1]
Я прочитал несколько вопросов, которые представляют собой идентичный вопрос, но с другим кодом, к сожалению, еще один опубликован. Я слежу за своими замечаниями профессоров и моделирую оператор вставки, идентичный их факторной функции, как показано …
01 ноя '17 в 17:31
1
ответ
SWI-Пролог: ОШИБКА: is/2: Аргументы недостаточно проработаны
Я пытаюсь создать программу, которая печатает, сколько гладких чисел в интервале. Часть кода здесь: countsmooth(_, [], _, _, Count) :- Count is 0. countsmooth(X, [H|T], Min, Max, Count) :- ( Y is X*H, Y =< Max -> ( Y >= Min -> NewX is X*…
21 июл '10 в 12:57
2
ответа
Перечисление бинарных деревьев в Прологе
Я пытаюсь создать правила Пролога для перечисления "двоичных деревьев" в виде списка в Прологе. Я новичок в Прологе. Дерево с 0 узлами - это пустой список: [] Дерево с 1 узлом: [[],[]] Дерево с 2 узлами имеет 2 возможности: [[],[[],[]]] [[[],[]],[]]…
26 мар '15 в 07:20
2
ответа
Пролог подсчитать количество элементов Ошибка
Я изучаю пролог и хочу посчитать конкретный элемент в списке. Так вот код - count(_, [], _) := !. count(El, [El|T], N) :- N1 is N + 1, count(El, T, N1). count(El, [_|T], N) :- count(El, T, N). check(List1, List2) :- count(3, List1, M), count(2, List…
17 ноя '16 в 11:55
0
ответов
is/2: аргументы недостаточно проработаны
Я пытаюсь написать код пролога, чтобы найти константы Безу для gcd. Я попробовал этот код: gcdCoef(A,B,X,Y) :- Z is A*X + B*Y, gcd(A,B,Z). но когда я выполняю запрос ?- gcdCoef(12,20,M,N). это дает мне ошибку: "is/2: Arguments are not sufficiently i…
24 май '18 в 07:22
1
ответ
Аргументы пролога недостаточно проработаны
Я пытаюсь найти максимальное, среднее и минимальное число из 3 заданных номеров. Код является: t_max(X,Y,Z):- A is max(max(X,Y),max(Y,Z)), C is min(min(X,Y),min(Y,Z)), (X>=A,X=<C)->B is X; (Y>=A,Y=<C)->B is Y; (Z>=A,Z=<C)->…
22 фев '17 в 14:42
0
ответов
Пролог парсер естественного языка, Аргументы недостаточно проработаны
Я пытаюсь сделать парсер языка пролога. когда я иду, чтобы загрузить свой скрипт, я получаю ошибку ERROR: Arguments are not sufficiently instantiated ERROR: In: ERROR: [13] throw(error(instantiation_error,_1940)) ERROR: [7] <user> ERROR: ERROR…
12 янв '19 в 17:05
2
ответа
Продолжайте получать сообщение об ошибке "Аргументы не достаточно созданы" не могу понять, почему
Продолжайте получать ошибку Arguments are not sufficiently instantiated для умножения по правилу сложения я написал, как показано ниже. mult(_, 0, 0). %base case for multiplying by 0 mult(X, 1, X). % another base case mult(X, Y, Z) :- Y > 1, Y1 i…
19 мар '12 в 18:03