определите предикат status, позволяющий узнать к какой категории населения относится указанный человек

24.05.2012, 09:52. **Показов** 983. **Ответов** 2

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

Очень срочно нужно решить задачу

Используя факты, имеющиеся в программе family.pro, определите предикат status, позволяющий узнать к какой категории населения относится указанный человек (если возраст <7 лет - дошкольник, от 7 до 17 лет - ученик, женщины старше 55 лет и мужчины старше 60 лет - пенсионер, остальные - работающий).

Есть 2 файла. Один ворд со след. текстом:
/* файл family.pro */

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
predicates
nondeterm male(symbol)  /*мужчина(кто)*/
nondeterm female(symbol)  /*  женщина  */
nondeterm parent(symbol,symbol,symbol) /*родители(отец,мать,чьи)*/
nondeterm age(symbol,integer)/* возраст(чей,какой) */
 
clauses
 
male(“Иван“).
male(“Петр“).
male(“Николай“).
male(“Андрей“).
male(“Федор“).
 
female(“Анна“).
female(“Зоя“).
female(“Наташа“).
female(“Вера“).
female(“Мария“).
 
parent(“Иван“,”Зоя“,”Петр“).
parent(“Иван“,”Зоя“,”Наташа“).
parent(“Федор“,”Анна“,”Зоя“).
parent(“Федор“,”Анна“,”Андрей“).
parent(“Николай“,”Мария“,”Иван“).
parent(“Николай“,”Мария“,”Вера“).
 
age(“Анна“,54).
age(“Зоя“,33).
age(“Наташа“,13).
age(“Вера“,42).
age(“Мария“,62).
age(“Николай“,65).
age(“Иван“,40).
age(“Андрей“,30).
age(“Петр“,7).
age(“Федор“,58).

текст самого файла family.pro

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
domains
male = symbol
female = symbol
parent = symbol
age = integer
predicates
nondeterm male(symbol)  /*мужчина(кто)*/
nondeterm female(symbol)  /*  женщина  */
nondeterm parent(symbol,symbol,symbol) /*родители(отец,мать,чьи)*/
nondeterm age(symbol,integer)/* возраст(чей,какой) */
 
clauses
 
male("Иван").
male("Петр").
male("Николай").
male("Андрей").
male("Федор").
 
female("Анна").
female("Зоя").
female("Наташа").
female("Вера").
female("Мария").
 
parent("Иван","Зоя","Петр").
parent("Иван","Зоя","Наташа").
parent("Федор","Анна","Зоя").
parent("Федор","Анна","Андрей").
parent("Николай","Мария","Иван").
parent("Николай","Мария","Вера").
 
 
age("Анна",54).
age("Зоя",33).
age("Наташа",13).
age("Вера",42).
age("Мария",62).
age("Николай",65).
age("Иван",40).
age("Андрей",30).
age("Петр",7).
age("Федор",58).
 
 
status(Имя,"Дошкольник"):-
    age(Имя,Возраст),
    Возраст < 7, nl.
status(Имя,"Ученик"):-
    age(Имя,Возраст),
    Возраст >= 7 and Возраст <= 17, nl.   
status(Имя,"Рабочий"):-
    male(Имя),
    age(Имя,Возраст),
    Возраст > 18 and Возраст <60
    or
    female(Имя),
    age(Имя,Возраст),
    Возраст > 18 and Возраст <55, nl. 
status(Имя,"Пенсионер"):-
    male(Имя),
    age(Имя,Возраст),
    Возраст >=60
    or
    female(Имя),
    age(Имя,Возраст),
    Возраст >=55, nl.    
Goal
status( "Федор",Х).

Оооочень нужно. Помогите пжлста как можно скорее!

@pavelr · 24.05.2012, 11:18

Отсечения юзайте!

@Грымзик · 24.05.2012, 13:41

Предикат же нормально определен, просто в раздел predicates надо добавить
nondeterm status(symbol,symbol).

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Логарифм записывается как: (x-2)log(x^2+2) - означает логарифм (x^2+2) по основанию (x-2). Унарный минус обозначается как ! */ #include <iostream> #include <stack> #include <cctype>. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

@pavelr 411 / 330 / 42 Регистрация: 10.03.2010 Сообщений: 3,313
	24.05.2012, 11:18
	Отсечения юзайте! 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	24.05.2012, 13:41
	Предикат же нормально определен, просто в раздел predicates надо добавить nondeterm status(symbol,symbol). 0