SWI-Prolog. Ошибка при обработке неконкретизированной переменной

@Artur132 · Регистрация: 19.06.2017

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

Задание: расставить в ряд разноцветные многогранники.
Условие:
1.Каждая фигра окрашена в один цвет.
2.Каждый многоугольник имеет равное или большее колличество граней в сравнении с предыдущим.
3.Последовательность размещения многоугольников в ряду должна соответствовать последовательности цветов радуги. Возможен пропуск 1-3 цветов. После достижения конца радужного спектра надо вернуться в его начало и продолжить расстановку многоугольников. При этом цвета не могут повторяться.

Необходимо реализовать обработку неконкретизированной переменной.
(Если в главном меню ввести неконкретизированную переменную, например 'sequence_creator(O,X).' - программа должна выводить:
?- sequence_creator(O,X).
O = v1,
X = [v1] . )

При вводе неконкретизированной переменной выводит false.
Где ошибка и как правильно реализовать данную обработку?

Вот код:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
%?Polyhedron(?Name, ?Radius, ?Color)
polyhedrons_db:-
recorded(polyhedron, (_,_,_)),!.
polyhedrons_db:-
recordz(polyhedron, (p5,9,deepSkyBlue)), % 1
recordz(polyhedron, (p4,11,green)), %
recordz(polyhedron, (p3,11,yellow)),%
recordz(polyhedron, (p6,17,blue)), % 2
recordz(polyhedron, (p7,18,violet)), % 3
recordz(polyhedron, (p8,19,red)), % 4
recordz(polyhedron, (p9,100,orange)), % 5
 
%?Color, ?NextColor
rainbow(red, orange).
rainbow(orange, yellow).
rainbow(yellow, green).
rainbow(green, deepSkyBlue).
rainbow(deepSkyBlue, blue).
rainbow(blue, violet).
rainbow(violet,red).
rainbow(red, orange).
 
%?FirstPolyhedron? -MultiPolyhedron
sequence_creator(R1, [R1|Rs]):-
polyhedrons_db,
nonvar(R1),
recorded(polyhedron, f(R1, R, C)),
sequence_generator(R, C, Rs, [C]).
 
%?FirstPolyhedron? -MultiPolyhedron
sequence_creator(R1, [R1|Rs]):-
polyhedrons_db,
var(R1),
first_polyhedron(R1,R,C),
sequence_generator(R, C, [],[]).
 
 
 
%+Radius,+Color,-MultiPolyhedron
sequence_generator(R, C, [Polyhedron|Polyhedrons], Colors):-
next_color(C, C1),
recorded(polyhedron, (Polyhedron, R1, C1)),
not(member(C1, Colors)),
R1 >= R,!,
sequence_generator(R1, C1, Polyhedrons, [C1|Colors]).
 
%+Radius,+Color,-MultiPolyhedron
sequence_generator(_, C, [], []):-
\+((next_color(C,C1),recorded(polyhedron, (_,_,C1)))).
 
sequence_generator(_, _, [], _).
 
 
%?Color, ?NextColor
next_color(C, C1):-
rainbow(C, C1).
next_color(C,C1):-
rainbow(C,Cp),
rainbow(Cp, C1).
next_color(C, C1):-
rainbow(C, Cp),
rainbow(Cp, Cp1),
rainbow(Cp1, C1).
next_color(C,C1):-
rainbow(C,Cp),
rainbow(Cp, Cp1),
rainbow(Cp1, Cp2),
rainbow(Cp2, C1).
 
 
%-FirstRing, -Number, -Color
first_polyhedron(Polyhedron, R, C):-
recorded(polyhedron,(Polyhedron,R,C)),
\+(next_color(C,_)).

@arlat · 20.06.2017, 09:54

Сообщение от Artur132

Где ошибка

В логике кода ошибка и есть, - first_polyhedron(R1,R,C) не находит ни одного решения и выдает false.

Сообщение от Artur132

и как правильно реализовать данную обработку?

Ну, вы же алгоритм реализовывали, пройдите в отладчике...

Сообщение от Artur132

Prolog
1
2
3
4
5
sequence_creator(R1, [R1|Rs]):-
polyhedrons_db,
var(R1),
first_polyhedron(R1,R,C),
sequence_generator(R, C, [],[]).

должен быть

Prolog
1
2
3
4
5
sequence_creator(R1, [R1]):-
polyhedrons_db,
var(R1),
first_polyhedron(R1,R,C),
sequence_generator(R, C, [],[]).

но это уже мелочи.

Новые блоги и статьи Все статьи Все блоги /
Программная установка даты и запрет ее изменения Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: при создании документов установить период списания автоматически. . .	Вывод данных в справочнике через динамический список Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .	Функция заполнения текстового поля в реквизите формы документа Maks 01.04.2026 Алгоритм из решения ниже реализован на нетиповом документе "ВыдачаОборудованияНаСпецтехнику" разработанного в конфигурации КА2, в дополнении к предыдущему решению. На форме документа создается. . .	К слову об оптимизации kumehtar 01.04.2026 Вспоминаю начало 2000-х, университет, когда я писал на Delphi. Тогда среди программистов на форумах активно обсуждали аккуратную работу с памятью: нужно было следить за переменными, вовремя. . .
Идея фильтра интернета (сервер = слой+фильтр). Hrethgir 31.03.2026 Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .	Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем	10 пpимет, которые всегда сбываются Maks 31.03.2026 1. Чтобы, наконец, пришла маршрутка, надо закурить. Если сигарета последняя, маршрутка придет еще до второй затяжки даже вопреки расписанию. 2. Нaдоели зима и снег? Не надо переезжать. Достаточно. . .	Перемещение выделенных строк ТЧ из одного документа в другой Maks 31.03.2026 Реализация из решения ниже выполнена на примере нетипового документа "ВыдачаОборудованияНаСпецтехнику" с единственной табличной частью "ОборудованиеИКомплектующие" разработанного в конфигурации КА2. . . .