Определить профессию каждого члена семьи

@kate54 · Регистрация: 22.12.2011

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

В семье пять человек: муж, жена, их сын, сестра мужа и отец жены. Их профессии - инженер, юрист, слесарь, учитель и экономист. Известно, что юрист и учитель - не кровные родственники. Слесарь младше экономиста, и оба играют в футбол за сборную своего завода. Инженер моложе учителя, но старше жены своего брата. Назовите профессии каждого.
Ответ
сестра мужа - инженер
жена - юрист, а учитель - ее муж.
слесарь - это сын, а экономист - его дед

@freest · 22.12.2011, 17:39

1.Информативное название темы
2.Наработки

@kate54 · 23.12.2011, 09:06 **[ТС]**

Написала что смогла...не работает, помогите пожалуйста!!!

Prolog

domains 
    s = symbol
    
predicates
    nondeterm семья(s)
    nondeterm профессия(s)
    nondeterm разн_семья(s,s,s,s,s)
    nondeterm разн_профессия(s,s,s,s,s)
    nondeterm правило1(s,s,s,s,s)
    nondeterm правило2(s,s,s,s,s)
    nondeterm правило3(s,s,s,s,s)
    nondeterm ответ(s,s,s,s,s)
clauses
    семья("муж"). семья("жена"). семья("сын"). семья("сестра мужа"). семья("отец жены"). 
    профессия("инженер"). профессия("юрист"). профессия("слесарь"). профессия("учитель"). профессия("экономист"). 
    
    разн_семья(M1,M2,M3,M4,M5):- семья(M1), семья(M2), семья(M3), семья(M4),семья(M5), 
    M1<>M2, M2<>M3, M3<>M4, M1<>M3, M1<>M4, M2<>M4, M1<>M5, M2<>M5, M3<>M5, M4<>M5. 
    
    разн_профессия(M1,M2,M3,M4,M5):- профессия(M1), профессия(M2), профессия(M3), профессия(M4),профессия(M5), 
    M1<>M2, M2<>M3, M3<>M4, M1<>M3, M1<>M4, M2<>M4, M1<>M5, M2<>M5, M3<>M5, M4<>M5. 
            
    правило1(X1,X2,X3,X4,X5):- разн_профессия(X1,X2,X3,X4,X5), X2<>"муж", X4<>"сын".
    правило1(X1,X2,X3,X4,X5):- разн_профессия(X1,X2,X3,X4,X5), X2<>"жена", X4<>"отец жены".
    правило1(X1,X2,X3,X4,X5):- разн_профессия(X1,X2,X3,X4,X5), X2<>"сын", X4<>"отец жены".
    правило1(X1,X2,X3,X4,X5):- разн_профессия(X1,X2,X3,X4,X5), X2<>"муж", X4<>"сестра мужа".
    правило1(X1,X2,X3,X4,X5):- разн_профессия(X1,X2,X3,X4,X5), X2<>"сестра мужа", X4<>"сын".
    
    правило2(X1,X2,X3,X4,X5):- разн_профессия(X1,X2,X3,X4,X5), X3<>"сын", X5<>"муж".
    правило2(X1,X2,X3,X4,X5):- разн_профессия(X1,X2,X3,X4,X5), X3<>"сын", X5<>"отец жены".
    правило2(X1,X2,X3,X4,X5):- разн_профессия(X1,X2,X3,X4,X5), X3<>"отец жены", X5<>"муж".
    
    правило3(X1,X2,X3,X4,X5):- разн_профессия(X1,X2,X3,X4,X5), X1="сестра мужа".
        
    ответ(X1,X2,X3,X4,X5):- правило1(X1,X2,X3,X4,X5),правило2(X1,X2,X3,X4,X5),правило3(X1,X2,X3,X4,X5).
 
goal
ответ(Муж,Жена,Сын,Сестра_мужа,Отец_жены).

Добавлено через 11 часов 41 минуту
помогите(

@Грымзик · 23.12.2011, 17:58

Prolog

domains 
        s = symbol
        
predicates
        nondeterm профессия(s)
        nondeterm разн_профессия(s,s,s,s,s)
        nondeterm правило1(s,s,s,s,s)
        nondeterm правило2(s,s,s,s,s)
        nondeterm правило3(s,s,s,s,s)
        nondeterm ответ(s,s,s,s,s)
clauses
        профессия("инженер"). профессия("юрист"). профессия("слесарь"). профессия("учитель"). профессия("эконосист"). 
        
        разн_профессия(M1,M2,M3,M4,M5):- профессия(M1), профессия(M2), профессия(M3), профессия(M4),профессия(M5), 
        M1<>M2, M2<>M3, M3<>M4, M1<>M3, M1<>M4, M2<>M4, M1<>M5, M2<>M5, M3<>M5, M4<>M5. 
                        
        правило1(X1,X2,_,_,_):- X1="юрист",X2="учитель";X2="юрист",X1="учитель".
    правило1(_,X2,_,X4,_):- X2="юрист",X4="учитель";X4="юрист",X2="учитель".
    правило1(X1,_,_,_,X5):- X1="юрист",X5="учитель";X5="юрист",X1="учитель".
    правило1(_,_,_,X4,X5):- X4="юрист",X5="учитель";X5="юрист",X4="учитель".
        
        правило2("эконосист",_,"слесарь",_,_).
        правило2("слесарь",_,_,_,"эконосист").
        правило2(_,_,"слесарь",_,"эконосист").
        
        правило3("учитель",_,_,"инженер",_).
        правило3(_,_,_,"инженер","учитель").
                
        ответ(X1,X2,X3,X4,X5):- разн_профессия(X1,X2,X3,X4,X5),
        правило1(X1,X2,X3,X4,X5),правило2(X1,X2,X3,X4,X5),правило3(X1,X2,X3,X4,X5).
 
goal
ответ(Муж,Жена,Сын,Сестра_мужа,Отец_жены).

@innnochka · 28.11.2015, 20:31

это не единственное решение задачи)

@Black Fregat · 29.11.2015, 08:00

Да вроде единственное

Prolog

?-  ответ(Муж,Жена,Сын,Сестра_мужа,Отец_жены).
Муж = "учитель",
Жена = "юрист",
Сын = "слесарь",
Сестра_мужа = "инженер",
Отец_жены = "эконосист" ;
false.

@innnochka · 29.11.2015, 09:25

Black Fregat, если нет проверки что экономист-мужчина, то есть вариант такой:
муж-юрист, жена-экономист, сын-слесарь,сестра мужа-инженер и отец жены - учитель. по условию задачи этот вариант противоречий не вызывает)

@Black Fregat · 29.11.2015, 13:26

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

нет проверки что экономист-мужчина

По крайней мере, слесарь и экономист одного пола - они вместе играют в футбол за сборную завода. Женщины в мужской футбол обычно не играют..

@innnochka · 29.11.2015, 16:43

Black Fregat, в оригинальной версии задачи условие написано иначе: В семье Семёновых пять человек: муж, жена, их сын, сестра мужа и отец жены. Все они работают. Один — инженер, другой — юрист, третий — слесарь, четвертый — экономист, пятый — учитель. Вот что еще известно о них.
Юрист и учитель не кровные родственники.
Слесарь — хороший спортсмен. Он пошел по стопам экономиста и играет в футбол за сборную завода.
Инженер старше жены своего брата, но моложе, чем учитель.
Экономист старше, чем слесарь.
Какова профессия каждого члена семьи Семёновых?

@Black Fregat · 29.11.2015, 16:49

Я ночью посмотрю более внимательно, какие именно условия взяты при решении задачи.
Текущий вариант, как я уже писал, Ваше побочное решение не пропускает.

@DJest · 10.11.2016, 10:42

Prolog

PREDICATES
 
профессия (symbol)
семья (symbol)
 
кровныеРодственники (symbol, symbol)
старше (symbol, symbol)
мужчина (symbol)
соответствие (symbol, symbol)
естьБрат (symbol)
вопрос (symbol, symbol, symbol, symbol, symbol, symbol, symbol, symbol, symbol, symbol)
 
CLAUSES
 
профессия (инженер). профессия (юрист). профессия (слесарь). профессия (экономист). профессия (учитель).
семья (муж). семья (жена). семья (сестраМужа). семья (сын). семья (отецЖены). 
 
% Описываем всевозможные комбинации кровных родственников.
кровныеРодственники(Родственник1, Родственник2):- семья(Родственник1), семья(Родственник2), Родственник1 = муж, Родственник2 = сын; 
                          семья(Родственник1), семья(Родственник2), Родственник1 = сын, Родственник2 = муж;
                          семья(Родственник1), семья(Родственник2), Родственник1 = муж, Родственник2 = сестраМужа; 
                          семья(Родственник1), семья(Родственник2), Родственник2 = муж, Родственник1 = сестраМужа; 
                          семья(Родственник1), семья(Родственник2), Родственник1 = сестраМужа, Родственник2 = сын; 
                          семья(Родственник1), семья(Родственник2), Родственник1 = сын, Родственник2 = сестраМужа;
                          семья(Родственник1), семья(Родственник2), Родственник1 = жена, Родственник2 = сын; 
                          семья(Родственник1), семья(Родственник2), Родственник1 = сын, Родственник2 = жена;
                          семья(Родственник1), семья(Родственник2), Родственник1 = отецЖены, Родственник2 = сын; 
                          семья(Родственник1), семья(Родственник2), Родственник1 = сын, Родственник2 = отецЖены;
                          семья(Родственник1), семья(Родственник2), Родственник1 = жена, Родственник2 = отецЖены; 
                          семья(Родственник1), семья(Родственник2), Родственник1 = отецЖены, Родственник2 = жена.
% Перечисляем мужчин.
мужчина(Родственник):-    семья(Родственник), Родственник = муж;
            семья(Родственник), Родственник = сын;
            семья(Родственник), Родственник = отецЖены.
% Родственник1 старше, чем Родственник2
старше(Родственник1, Родственник2):- семья(Родственник1), семья(Родственник2), Родственник1 = муж, Родственник2 = сын; 
                     семья(Родственник1), семья(Родственник2), Родственник1 = отецЖены, Родственник2 = сын;
                     семья(Родственник1), семья(Родственник2), Родственник1 = отецЖены, Родственник2 = жена;
                     семья(Родственник1), семья(Родственник2), Родственник1 = жена, Родственник2 = сын;
                     семья(Родственник1), семья(Родственник2), Родственник1 = сестраМужа, Родственник2 = жена.
                     
% По условию, инженер старше сестры брата => у инженера есть брат!
естьБрат(Родственник):- семья(Родственник), Родственник = сестраМужа.
 
% Кто угодно может быть инженером.
соответствие (Родственник, Профессия):- семья(Родственник), профессия(Профессия), Профессия = инженер.
% Кто угодно может быть учителем.
соответствие (Родственник, Профессия):- семья(Родственник), профессия(Профессия), Профессия = учитель.
% Кто угодно может быть юристом.
соответствие (Родственник, Профессия):- семья(Родственник), профессия(Профессия), Профессия = юрист.
% Кто угодно может быть слесарем.
соответствие (Родственник, Профессия):- семья(Родственник), профессия(Профессия), Профессия = слесарь.
% Кто угодно может быть экономистом.
соответствие (Родственник, Профессия):- семья(Родственник), профессия(Профессия), Профессия = экономист.
 
вопрос(Р1, П1, Р2, П2, Р3, П3, Р4, П4, Р5, П5):- соответствие(Р1, П1), П1 = инженер, соответствие (Р2, П2), П2 = учитель, 
                         соответствие (Р3, П3), П3 = юрист, соответствие (Р4, П4), П4 = слесарь,
                         соответствие (Р5, П5), П5 = экономист, 
                         мужчина(Р4), мужчина (Р5), естьБрат (Р1),
                         not(кровныеРодственники(Р2, Р3)),
                         старше(Р5, Р4), not(старше (Р1, Р2)),
                         Р1 <> Р2, Р1 <> Р3, Р1 <> Р4, Р1 <> Р5,
                         Р2 <> Р3, Р2 <> Р4, Р2 <> Р5, Р3 <> Р4, Р3 <> Р5, Р4 <> Р5,    
                         П1<>П2, П1<>П3, П1<>П4, П1<>П5, П2<>П3, П2<>П4, П2<>П5, П3<>П4, П3<>П5,  
                         П4<>П5.                  
 
GOAL
вопрос(Р1, П1, Р2, П2, Р3, П3, Р4, П4, Р5, П5).

@kate54 0 / 0 / 0 Регистрация: 22.12.2011 Сообщений: 4
		1
	Определить профессию каждого члена семьи 22.12.2011, 14:29. Показов 4052. Ответов 10 Метки нет (Все метки) В семье пять человек: муж, жена, их сын, сестра мужа и отец жены. Их профессии - инженер, юрист, слесарь, учитель и экономист. Известно, что юрист и учитель - не кровные родственники. Слесарь младше экономиста, и оба играют в футбол за сборную своего завода. Инженер моложе учителя, но старше жены своего брата. Назовите профессии каждого. Ответ сестра мужа - инженер жена - юрист, а учитель - ее муж. слесарь - это сын, а экономист - его дед 0

@freest Українець 424 / 318 / 16 Регистрация: 26.09.2009 Сообщений: 844
	22.12.2011, 17:39	2
	1.Информативное название темы 2.Наработки 1

@innnochka 5 / 5 / 0 Регистрация: 04.10.2015 Сообщений: 30
	28.11.2015, 20:31	5
	это не единственное решение задачи) 0

@innnochka 5 / 5 / 0 Регистрация: 04.10.2015 Сообщений: 30
	29.11.2015, 09:25	7
	Black Fregat, если нет проверки что экономист-мужчина, то есть вариант такой: муж-юрист, жена-экономист, сын-слесарь,сестра мужа-инженер и отец жены - учитель. по условию задачи этот вариант противоречий не вызывает) 0

@Black Fregat Фрилансер 3705 / 2077 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	29.11.2015, 13:26	8
	Сообщение от innnochka нет проверки что экономист-мужчина По крайней мере, слесарь и экономист одного пола - они вместе играют в футбол за сборную завода. Женщины в мужской футбол обычно не играют.. 0

@innnochka 5 / 5 / 0 Регистрация: 04.10.2015 Сообщений: 30
	29.11.2015, 16:43	9
	Black Fregat, в оригинальной версии задачи условие написано иначе: В семье Семёновых пять человек: муж, жена, их сын, сестра мужа и отец жены. Все они работают. Один — инженер, другой — юрист, третий — слесарь, четвертый — экономист, пятый — учитель. Вот что еще известно о них. Юрист и учитель не кровные родственники. Слесарь — хороший спортсмен. Он пошел по стопам экономиста и играет в футбол за сборную завода. Инженер старше жены своего брата, но моложе, чем учитель. Экономист старше, чем слесарь. Какова профессия каждого члена семьи Семёновых? 0

@Black Fregat Фрилансер 3705 / 2077 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	29.11.2015, 16:49	10
	Я ночью посмотрю более внимательно, какие именно условия взяты при решении задачи. Текущий вариант, как я уже писал, Ваше побочное решение не пропускает. 0

	10.11.2016, 10:42