Ошибка 512: Type error wrong type object, как исправить?

@Криста · Регистрация: 15.05.2017

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

При записи [[I|H]|NewTail] компилятор пролог выдаёт ошибку 512 Type error wrong type object, подскажите как исправить?

@Black Fregat · 17.04.2020, 23:09

Сообщение от Криста

как исправить

Правильно написать типы параметров. Без кода точнее не подсказать

@Криста · 17.04.2020, 23:38 **[ТС]**

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
Domains
N=integer
K=integer
L=integer*
Predicates
p(N,K,L)
g(L,integer,N,L)
 
p(_, 0, [[]]) :- !.
p(N, K, L) :-
    KK is K-1,
    p(N, KK, LL),
    g(LL, 1, N, L).
g([], _, _, []).
g([_|T], K, N, LL) :-
    K > N, !,
    g(T, 1, N, LL).
g([H|T], K, N, [[K|H]|TT]) :-
    KK is K+1,
    g([H|T], KK, N, TT).

@Catstail · 18.04.2020, 13:02

Криста, 4-й параметр g у тебя имеет тип integer* (т.е. список integer). А запись g([H|T], K, N, [[K|H]|TT]) означает, что тип - "список списков itneger"

@Криста · 18.04.2020, 15:14 **[ТС]**

Подскажите пожалуйста как правильно указать тип?

@Catstail · 18.04.2020, 17:14

Сообщение от Криста

Подскажите пожалуйста как правильно указать тип?

- а что должна делать задача?

@Криста · 19.04.2020, 09:02 **[ТС]**

Напишите предикат p(+N, +K, -L) – истинный тогда и только тогда, когда L – список всех последовательностей (списков) длины K из чисел 1, 2, ..., N.
Вот задание

Новые блоги и статьи Все статьи Все блоги /
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 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

@Криста 0 / 0 / 0 Регистрация: 15.05.2017 Сообщений: 20

	Ошибка 512: Type error wrong type object, как исправить? 17.04.2020, 22:47. Показов 2568. Ответов 6 Метки нет (Все метки) При записи [[I\|H]\|NewTail] компилятор пролог выдаёт ошибку 512 Type error wrong type object, подскажите как исправить? 0

@Catstail Супер-модератор 38180 / 21115 / 4307 Регистрация: 12.02.2012 Сообщений: 34,722 Записей в блоге: 14
	18.04.2020, 13:02
	Криста, 4-й параметр g у тебя имеет тип integer* (т.е. список integer). А запись g([H\|T], K, N, [[K\|H]\|TT]) означает, что тип - "список списков itneger" 0

@Криста 0 / 0 / 0 Регистрация: 15.05.2017 Сообщений: 20
	18.04.2020, 15:14 [ТС]
	Подскажите пожалуйста как правильно указать тип? 0

@Криста 0 / 0 / 0 Регистрация: 15.05.2017 Сообщений: 20
	19.04.2020, 09:02 [ТС]
	Напишите предикат p(+N, +K, -L) – истинный тогда и только тогда, когда L – список всех последовательностей (списков) длины K из чисел 1, 2, ..., N. Вот задание 0