Type error: Illegal variable type for this position

@Skeptik2k17 · Регистрация: 31.10.2017

Студворк — интернет-сервис помощи студентам

Новичок в Прологе, дали задание сделать программу, которая будет выводить списки групп (закомментированные часть программы) и дополнительное задание, чтобы ввести курс с клавиатуры и вывело все группы того курса. Программу сделал но не работает.

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
domains 
name = string 
number, kurs = integer
 
predicates 
nondeterm groups (name, number, kurs)
% nondeterm spisok
 
clauses 
groups ("АКС-16", 20 , 5).
groups ("АКС-17", 24 , 4).
groups ("АКС-18", 18 , 3).
groups ("АКС-19", 25 , 2).
groups ("АКС-20", 29 , 1).
 
% spisok:-groups(X ,Y,Z),write("Група: ",X,"  Кількість ст.: ",Y," Курс: ",Z),nl,fail.
GOAL
write (" Введіть курс:"), Readln(Z), nl,
write ("Список груп вибраного курсу "), nl,
groups(X, Y, Z), write(X,Y," "), nl,
fail.
 
% write("Список груп"),nl,spisok.

Ошибка E;Test_Goal, pos: 454, 505 Type error: Illegal variable type for this position
Наверно не видит Z. Ошибка тут groups(X, Y, Z), write(X,Y," "), nl,

@Black Fregat · 30.10.2020, 18:47

Вы читаете курс как строку, а в предикате он integer.
Читайте курс сразу как число:

Prolog
1
readint(Z)

Новые блоги и статьи Все статьи Все блоги /
Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это дополнительная запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:
Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .

Type error: Illegal variable type for this position

Решение