Логическая задача на TurboProlog

@Kristine · Регистрация: 22.12.2015

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

Здравствуйте, помогите пожалуйста написать задачу на TurboProlog. Для четырех дружинников, фамилии которых начинаются буквами А, Е, Р, С, необходимо составить график дежурств на четыре вечера подряд, учитывая, что:
1) С и Р не могут дежурить в первый вечер в связи с командировкой:
2) если С выйдет во второй вечер или Р — в третий, то Е сможет подежурить в четвертый;
3) если А не будет дежурить в третий вечер, то Е согласен дежурить во второй вечер;
4) если Р в четвертый вечер уедет на конференцию, то А придется дежурить в первый, а С в третий вечер.

Добавлено через 4 часа 32 минуты
мой код не работает

Prolog

domains
slist=string*
man=m(string,string).
men=man*
 
predicates
permutation(slist,slist).
insert(string,slist,slist).
solve(men).
z(string,string).
check1(string,string,string,string).
clases
insert(X,L,[X|L]).
insert(X,[H|Tail],[H|NewTail]):-insert(X,Tail,NewTail).
permutation([],[]).
permutation([H|Tail],P):-permutation(Tail,PTail),insert(H,PTail,P).
check1([N,_,_,_]):-N<>"c";N<>"p".
check1([_,D,B,"e"]):-C="c";B="p".
check1([_,"e",M,_]):-M<>"a".
check1(["a",_,"e",H]):-h<>"p".
solve(S):-
    permutation(["a","e","p","c"],S),
    check1(S).

Ошибка 404 undeclared predicate or misspelling

@Black Fregat · 24.12.2015, 04:33

Конкретно эта ошибка из-за-того, что в строке 12 неправильное ключевое слово. Должно быть clauses.
А вообще еще много мелких описок.
И логическая ошибка: у Вас один предикат check1 с четырьмя разными ветками, для четырех проверок.
Но ветки одного предиката соединяются условием ИЛИ, а Вам на самом деле нужно И.
Сделайте четыре разных предиката check1-check4 и все последовательно вызовите из solve.

@Black Fregat · 24.12.2015, 04:37

Вообще, нужна хорошая обработка напильником.
Но даже после этого решений выпадает много:
И заметно, что выпадают пары одинаковых решений, значит, даёт дубли Ваш permutation.

@Kristine · 24.12.2015, 16:07 **[ТС]**

Вот я вроде переделала код, но теперь Solve не имеет решения, а все остальные предикаты по отдельности работают

Prolog

domains
slist=string*
predicates
permutation(slist,slist)
insert(string,slist,slist)
solve(slist)
check1(slist)
check2(slist)
check3(slist)
check4(slist)
clauses
insert(X,[X|L],L).
insert(X,[H|Tail],[H|NewTail]):-insert(X,Tail,NewTail).
permutation([],[]).
permutation(S,[H|Tail]):-insert(H,S,P),permutation(P,Tail).
check1([N,_,_,_]):-N<>"c",N<>"p".
check2([_,C,B,"e"]):-C="c";B="p".
check3([_,"e",M,_]):-M<>"a".
check4(["a",_,"e",H]):-H<>"p".
solve(S):-permutation(["a","e","p","c"],S),check1(S),check2(S),check3(S),check4(S).

@Black Fregat · 24.12.2015, 21:41

Вторую, третью и четвертую проверки надо "закрыть" дополнительным правилом.

Напишу через пару часов, с телефона очень неудобно..

Добавлено через 3 часа 51 минуту
На первый взгляд, надо примерно так:

Prolog

check2([_,С,B,"e"]) :- !, 
    D="c";B="p". 
check2(_).
 
check3([_,"e",M,_]) :- !,
    M<>"a". 
check3(_).
 
check4(["a",_,"e",H]) :- !,
    H<>"p". 
check4(_).

Но что-то мне вообще не очень нравятся формулировки условий..
Я ночью подумаю и напишу подробнее

@Kristine · 26.12.2015, 12:30 **[ТС]**

Спасибо, а можно как-то эту задачу решить без отсечения?

@Black Fregat Фрилансер 3705 / 2077 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	24.12.2015, 04:33	2
	Конкретно эта ошибка из-за-того, что в строке 12 неправильное ключевое слово. Должно быть clauses. А вообще еще много мелких описок. И логическая ошибка: у Вас один предикат check1 с четырьмя разными ветками, для четырех проверок. Но ветки одного предиката соединяются условием ИЛИ, а Вам на самом деле нужно И. Сделайте четыре разных предиката check1-check4 и все последовательно вызовите из solve. 1

@Black Fregat Фрилансер 3705 / 2077 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	24.12.2015, 04:37	3
	Вообще, нужна хорошая обработка напильником. Но даже после этого решений выпадает много: И заметно, что выпадают пары одинаковых решений, значит, даёт дубли Ваш permutation. Миниатюры 0

@Kristine 0 / 0 / 0 Регистрация: 22.12.2015 Сообщений: 9
	26.12.2015, 12:30 [ТС]	6
	Спасибо, а можно как-то эту задачу решить без отсечения? 0

Логическая задача на TurboProlog

Решение