Компьютерный форум
Правила
Вернуться   Компьютерный форум > Форум программистов > Языки программирования > Prolog
Перезагрузить страницу Помогите, задача по прологу, срочно...задача о станках
Ответ
 
Опции темы Опции просмотра
  (#1 (permalink)) Старый
4ixOn 4ixOn вне форума
Member
 
Сообщений: 17
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 01.06.2011
По умолчанию Помогите, задача по прологу, срочно...задача о станках - 08.07.2011, 02:57

АВТОМАТИЗИРОВАННЫЙ УЧАСТОК
На автоматизированном участке цеха стоят 5 станков, действия которых скоординированы следующим образом:
Если работают первый и третий станки, то четвертый не работает при условии, если подключен пятый станок.
Если же первый станок подключен без третьего или выключен пятый станок, то четвертый обязательно подключен.
Если пятый станок работает вместе со вторым при выключенном первом станке, то включен третий станок.
Если выключены второй или пятый станки, то одновременно выключен и четвертый.
Мы наблюдаем работу первого и четвертого станков.
Что можно сказать о состоянии остальных станков, скрытых за перегородкой?
Можно ли в данной системе остановить для ремонта одновременно третий и четвертый станки,
оставив хотя бы один из других станков включенным?
Ответить с цитированием
  (#2 (permalink)) Старый
aag aag вне форума
ушёл... не вернётся)))
 
Сообщений: 3,400
Сказал(а) спасибо: 0
Поблагодарили 82 раз(а) в 82 сообщениях
Регистрация: 29.11.2008
По умолчанию 08.07.2011, 13:34

prolog Код:
DOMAINS
i=integer   il=i*
%
PREDICATES
gen(il)
p(i,il)
%
CLAUSES
%
gen(A):- p(5,A),
    not(A=[1,_,1,1,1]),  % 1
    not(A=[1,_,0,0,_]),  % 2
    not(A=[_,_,_,0,0]),  % 2
    not(A=[0,1,0,_,1]),  % 3
    not(A=[_,0,_,1,_]),  % 4
    not(A=[_,_,_,1,0]).  % 4
%
p(0,[]):- !.
p(A,[0|B]):- C=A-1, p(C,B).
p(A,[1|B]):- C=A-1, p(C,B).

prolog Код:
Goal: gen([1,X2,X3,1,X5])
X2=1, X3=0, X5=1
1 Solution
Goal: gen([X1,X2,0,0,X5]),X1+X2+X5>0
X1=0, X2=0, X5=1
1 Solution
Ответить с цитированием
  (#3 (permalink)) Старый
4ixOn 4ixOn вне форума
Member
 
Сообщений: 17
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 01.06.2011
По умолчанию 09.07.2011, 13:07

E;Test_Goal, pos: 274, 590 Nondeterministic clause: p
E;Test_Goal, pos: 294, 591 Nondeterministic predicate: p
E;Test_Goal, pos: 77, 591 Nondeterministic predicate: gen
не раьотает
Ответить с цитированием
  (#4 (permalink)) Старый
Alexiski Alexiski вне форума
Любитель давать советы
 
Сообщений: 4,311
Сказал(а) спасибо: 33
Поблагодарили 55 раз(а) в 55 сообщениях
Регистрация: 16.10.2005
По умолчанию 09.07.2011, 22:48

Так укажите явно
Visual Prolog Код:
PREDICATES
nondeterm gen(il)
nondeterm p(i,il)
Ответить с цитированием
Ads
Ответ

Опции темы
Опции просмотра

Ваши права в разделе
Вы не можете создавать новые темы
Вы не можете отвечать в темах
Вы не можете прикреплять вложения
Вы не можете редактировать свои сообщения

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.
Trackbacks are Вкл.
Pingbacks are Вкл.
Refbacks are Выкл.


Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Задача по прологу! Mazha Любые вопросы от новичков 0 19.02.2012 15:23
Друзья, срочно нужна помощь! Несложная задача! mill63 .NET 1 30.11.2011 11:56
задача на файлы(помогите пожалуйста решить очень срочно надо) andrey256 Pascal 1 24.10.2011 23:36
Помогите, задача по прологу, срочно...задача с высказываниями 4ixOn Prolog 6 10.07.2011 23:29
Готовая задача по прологу(объяснить как работает) Minority Prolog 6 29.11.2010 22:27
срочно нужна помощь. задача про треугольники Syndrome Prolog 1 21.11.2010 20:38
Задача по Турбо Прологу. Чтение из файла, преобразование строки в список, запись в БД theoo Prolog 4 08.11.2010 12:05
Задача по прологу срочно User№345672 Prolog 1 06.11.2010 19:33
Срочно! Помогите, задача на двумерный массив и if(условия) Sugar.Couture Pascal 1 27.05.2010 03:53
Срочно нужна задача dmitry205 Prolog 11 28.04.2010 21:25
Транспортная задача!! Срочно! Екатерина111 Задания за деньги 0 21.05.2006 19:59
задача по прологу dimants Prolog 1 07.11.2005 23:08



Powered by vBulletin® Version 3.8.7
Copyright ©2000 - 2020, Jelsoft Enterprises Ltd.
Нardforum.ru - компьютерный форум и программирование, форум программистов