Списки, ошибка There is no corresponding list domain

@kaizer131 · Регистрация: 13.07.2009

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

Просьба помочь разобраться в задачах Пролога.

Представление базы знаний. Даны сведения о марках машин:
1) Марка;
2) год начала выпуска;
3) фирма-изготовитель;
4) технические характеристики (структурированный домен):
a) мощность двигателя (лошадиных сил);
b) объем двигателя (литров);
c) вид топлива;
d) максимальная скорость
5) цена в USD.

И есть задание
Списки.
1. Сформировать список, состоящий из марок машин.
2. Сформировать список, состоящий из цен.
3. Получить два списка марок машин: в первом списке находятся машины дешевле ...... $, во втором - более дорогие машины.

Вот моя реализация первого пункта:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
domains
  Марка = string
  Выпуск = integer
  Производитель = string
  Характеристики=Характеристики(integer Мощность, integer Объём, string Топливо, integer Макс_скорость)  
  Цена = integer
%Описание списка 
машина=марка(string);выпуск (integer) ;производитель(string); характеристики(Характеристики);цена (integer)
list_car= машина* 
 
predicates
nondeterm машина (Марка,Выпуск,Производитель, Характеристики,Цена)
 
clauses
/* факты и правила*/
машина ("ауди102",1990,"ауди", характеристики(100, 80," дизель", 220 ), 150000).
машина ("белорусь",1985,"завод", характеристики(1, 8,"соляра", 22 ), 15).
машина ("ваз2120",2010,"автоваз", характеристики(600, 180,"бензин", 320 ), 99999999).
 
goal
findall(Марка, машина (Марка,_,_, характеристики(Мощность, Объём,  Топливо,  Макс_скорость), _ ), List_Name).

В строке findall показывает ошибку
511 There is no corresponding list domain (т.е. Марка не объявлена в доменах, но её объявление там есть)
Помогите разобраться в причинах ошибки. Не исключено что я неправильно строю решение.
Также прошу совета в реализации остальных пунктов.

Добавлено через 29 минут
Работаю в Visual Prolog 5.2

Добавлено через 23 минуты
Так, первый и второй пункт выполнен.

Остался последний

Добавлено через 1 час 5 минут
выполняю третий пункт.

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
domains
 Марка = string
  Выпуск = integer
  Производитель = string
  Характеристики=Характеристики(integer Мощность, integer Объём, string Топливо, integer Макс_скорость)  
  Цена = integer
%Описание списка 
    машина=марка(string);выпуск (integer) ;производитель(string); характеристики(Характеристики);цена (integer)
    list_car,L,L1,L2 = string* 
 
predicates
nondeterm машина (Марка,Выпуск,Производитель, Характеристики,Цена)
nondeterm разделение(Цена,L,L1,L2).
 
clauses
/* факты и правила*/
машина ("ауди102",1990,"ауди", характеристики(100, 80," дизель", 220 ), 150000).
машина ("белорусь",1985,"завод", характеристики(1, 8,"соляра", 22 ), 15).
машина ("ваз2120",2010,"автоваз", характеристики(600, 180,"бензин", 320 ), 99999999).
 
разделение(Цена,[Head|Tail],[Head|L1],L2) :-
                   Head <= Цена,
                   разделение(Цена,Tail,L1,L2).
                   
разделение(Цена,[Head|Tail],L1,[Head|L2]) :-
                   разделение(Цена,Tail,L1,L2),
                   Head > Цена.
                   
разделение(_,[],[],[]).
 
goal
 
разделение (1000, findall(Цена, машина (_,_,_, _, Цена), List_Name),L1,L2).

Выскакикает ошибка 409 Syntax error. В строке

Prolog
1
разделение (1000, findall(Цена, машина (_,_,_, _, Цена), List_Name),L1,L2).

и

Prolog
1
 510 Objects from these domains cannot be compared

в строке

Prolog
1
 Head <= Цена,

@Грымзик · 13.09.2010, 15:29

Нельзя вызывать один предикат в качестве параметра другого. Даже если бы можно было findall(Цена, машина (_,_,_, _, Цена), List_Name) вернет yes или no.И зачем искать список всех цен, надо список всех моделей.

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
razdelenie(Cena,[Head|Tail],[Head|L1],L2) :-
            mashina(Head,_,_,_,C),      
                   C<= Cena,!,
                   razdelenie(Cena,Tail,L1,L2).
                   
razdelenie(Cena,[Head|Tail],L1,[Head|L2]) :-razdelenie(Cena,Tail,L1,L2).
                   
razdelenie(_,[],[],[]).
 
goal
 
findall(Car, mashina(Car,_,_, _,_), List_Name), razdelenie(1000,List_Name,L1,L2).

@kaizer131 · 13.09.2010, 20:58 **[ТС]**

Спасибо

Новые блоги и статьи Все статьи Все блоги /
Отображение реквизитов в документе по условию и контроль их заполнения Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеСпецтехники", разработанного в конфигурации КА2. Данный документ берёт данные из другого нетипового документа. . .	Фото всей Земли с борта корабля Orion миссии Artemis II kumehtar 04.04.2026 Это первое подобное фото сделанное человеком за 50 лет. Снимок называют новым вариантом легендарной фотографии «The Blue Marble» 1972 года, сделанной с борта корабля «Аполлон-17». Новое фото. . .	Вывод диалогового окна перед закрытием, если документ не проведён Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать программный контроль на предмет проведения документа. . .	Программный контроль заполнения реквизита табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать контроль заполнения реквизита "ПричинаСписания". . .
wmic не является внутренней или внешней командой Maks 02.04.2026 Решение: DISM / Online / Add-Capability / CapabilityName:WMIC~~~~ Отсюда: https:/ / winitpro. ru/ index. php/ 2025/ 02/ 14/ komanda-wmic-ne-naydena/	Программная установка даты и запрет ее изменения Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: при создании документов установить период списания автоматически. . .	Вывод данных в справочнике через динамический список Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .	Программное заполнения текстового поля в реквизите формы документа Maks 01.04.2026 Алгоритм из решения ниже реализован на нетиповом документе "ВыдачаОборудованияНаСпецтехнику" разработанного в конфигурации КА2, в дополнении к предыдущему решению. На форме документа создается. . .

@kaizer131 0 / 0 / 0 Регистрация: 13.07.2009 Сообщений: 36
	13.09.2010, 20:58 [ТС]
	Спасибо 0