Изменить программу под другой метод поиска - Prolog

Узнай цену своей работы

Формулировка задачи:

Добрый день, помогите пожалуйста изменить на метод Поиска в глубину.
Листинг программы 
  1. %trace
  2.  
  3. database
  4.   yes(string)
  5.   no(string)
  6.   maybe(string)
  7.  
  8. predicates
  9.   repeat
  10.   run
  11.   animal(string)
  12.   
  13.   positive(string)
  14.   negative(string)
  15.   xpositive(string)
  16.   xnegative(string)
  17.   ask(string,char)
  18.   remember(string,char)
  19.   delete_all
  20. clauses
  21.   repeat.
  22.   repeat:-repeat.
  23. %-----------------------------------------------------------------------------
  24. % opisyvaem virusy
  25.   animal("Pitch"):-positive("Zarazhaet PC"),
  26.              positive("Rasprostranjaetsja ljudmi"),
  27.                      positive ("Osushhestvljaet dostup k FS"),
  28.                      negative("Sozdan gruppoj hakerov Back Orifice"),
  29. positive ("Dannye pol'zovatelja hranjatsja vo vremennom fajle").
  30.  
  31.   animal("BackOrifice"):- positive("Zarazhaet PC"),
  32.              positive("Rasprostranjaetsja ljudmi"),
  33.                      positive ("Osushhestvljaet dostup k FS"),
  34.                   positive("Sozdan gruppoj hakerov Back Orifice").
  35.  
  36.   animal("NetBus"):- positive("Zarazhaet PC"),
  37.              positive("Rasprostranjaetsja ljudmi"),
  38.                      positive ("Osushhestvljaet dostup k FS"),
  39.                      negative("Sozdan gruppoj hakerov Back Orifice"),
  40. negative ("Dannye pol'zovatelja hranjatsja vo vremennom fajle").
  41.  
  42.   animal("Trojan.Winlock"):- positive("Zarazhaet PC"),
  43.              positive("Rasprostranjaetsja ljudmi"),
  44.                      negative ("Osushhestvljaet dostup k FS").
  45.  
  46.   animal("Virus.Win9x.CHI"):- positive("Zarazhaet PC"),
  47.              negative ("Rasprostranjaetsja ljudmi"),
  48.                        positive("Vnedrjaetsja v sushhestvujushhie fajly").
  49.  
  50.   animal("WinStart"):- positive("Zarazhaet PC"),
  51.              negative ("Rasprostranjaetsja ljudmi"),
  52.                         negative ("Vnedrjaetsja v sushhestvujushhie fajly"),
  53.       positive("Ispol'zuet setevye protokoly"),
  54.       positive("Zapisyvaet svoi kopii v arhivy"),
  55. positive("Raspolagajutsja v kataloge Windows").
  56.  
  57.   animal("AdjVirus"):- positive("Zarazhaet PC"),
  58.              negative ("Rasprostranjaetsja ljudmi"),
  59.                         negative ("Vnedrjaetsja v sushhestvujushhie fajly"),
  60.       positive("Ispol'zuet setevye protokoly"),
  61.       positive("Zapisyvaet svoi kopii v arhivy"),
  62.      negative ("Raspolagajutsja v kataloge Windows").
  63.  
  64.   animal("Worm.info"):- positive("Zarazhaet PC"),
  65.              negative ("Rasprostranjaetsja ljudmi"),
  66.                         negative ("Vnedrjaetsja v sushhestvujushhie fajly"),
  67.       positive("Ispol'zuet setevye protokoly"),
  68.       negative ("Zapisyvaet svoi kopii v arhivy").
  69.  
  70.   animal("Conficker"):- positive("Zarazhaet PC"),
  71.              negative ("Rasprostranjaetsja ljudmi"),
  72.                         negative ("Vnedrjaetsja v sushhestvujushhie fajly"),
  73.       negative ("Ispol'zuet setevye protokoly"),
  74.      positive ("Ispol'zuet ujazvimosti i oshibki administrirovanija").
  75.  
  76.   animal("VBS.LoveLetter"):- positive("Zarazhaet PC"),
  77.              negative ("Rasprostranjaetsja ljudmi"),
  78.                         negative ("Vnedrjaetsja v sushhestvujushhie fajly"),
  79.       negative ("Ispol'zuet setevye protokoly"),
  80.      negative ("Ispol'zuet ujazvimosti i oshibki administrirovanija").
  81. animal("Trojan.WinCE.Terdial.a"):- negative ("Zarazhaet PC"),
  82.              positive ("Sovershaet zvonki na platnye nomera").
  83.                    
  84. animal("Worm.SymbOS.Yxe"):- negative ("Zarazhaet PC"),
  85.              negative ("Sovershaet zvonki na platnye nomera "),
  86.              positive ("Otpravljaet SMS-soobshhenija na platnye nomera"),
  87.      positive ("Samorasprostranjaetsja po SMS_soobshhenjam").
  88.  
  89. animal("Trojan-Spy.SymbOS.Zbot"):- negative ("Zarazhaet PC"),
  90.              negative ("Sovershaet zvonki na platnye nomera "),
  91.              positive ("Otpravljaet SMS-soobshhenija na platnye nomera"),
  92.      negative ("Samorasprostranjaetsja po SMS_soobshhenjam"),
  93.      positive ("Peresylaet vhodjashhie soobshhenija").
  94.  
  95. animal("Trojan_SMSWinCE.Sejweek"):- negative ("Zarazhaet PC"),
  96.              negative ("Sovershaet zvonki na platnye nomera "),
  97.              positive ("Otpravljaet SMS-soobshhenija na platnye nomera"),
  98.      negative ("Samorasprostranjaetsja po SMS_soobshhenjam"),
  99.      negative ("Peresylaet vhodjashhie soobshhenija").
  100. animal("Trojan_SMS.Android.FakePlayer"):- negative ("Zarazhaet PC"),
  101.              negative ("Sovershaet zvonki na platnye nomera "),
  102.              negative ("Otpravljaet SMS-soobshhenija na platnye nomera"),
  103.      positive ("Prinosit dohod vladel'cam sajtov").
  104. animal("Net-Worm.IphoneOS.like.b"):- negative ("Zarazhaet PC"),
  105.              negative ("Sovershaet zvonki na platnye nomera "),
  106.              negative ("Otpravljaet SMS-soobshhenija na platnye nomera"),
  107.      negative ("Prinosit dohod vladel'cam sajtov").
  108.  
  109.   animal("kakoj-to neizvestnyj virus").
  110.  
  111. % rabota s dinamicheskoj bazoj dannyh
  112.   positive(X):-xpositive(X),!; xnegative(X),!,fail; ask(X,'y').
  113.   negative(X):-xnegative(X),!; xpositive(X),!,fail; ask(X,'n').
  114.   ask(X,R):-write(X,"  ?  : "),readchar(Reply),write(Reply,"\n"),
  115.             remember(X,Reply),R=Reply.
  116. % proverka prisutstvija fatov v dinamicheskoj baze dannyh
  117.   xpositive(X):-yes(X);maybe(X).
  118.   xnegative(X):-no(X);maybe(X).
  119. % zapominaem fakt v dinamicheskoj baze dannyh
  120.   remember(X,'y'):-asserta(yes(X)).
  121.   remember(X,'n'):-assertz(no(X)).
  122.   remember(X,'q'):-asserta(maybe(X)).
  123. % ochishhaem pamjat' ot faktov dinamicheskoj bazy dannyh
  124. delete_all:-retract(yes(_)),delete_all.
  125. delete_all:-retract(no(_)),delete_all.
  126. delete_all:-retract(maybe(_)),delete_all.
  127. delete_all.
  128. %-----------------------------------------------------------------------------
  129.   run:-delete_all,
  130.        repeat,
  131.        write("Na voprosy otvechat (y-da, n-net, q-ne znaju).\n"),
  132.        animal(X),
  133.        write("Eto VIRUS : ",X," virus \n"),
  134.        write("Virus opoznan,dlya vyvoda (y/n): "),readchar(Z),
  135.        write(Z),nl,
  136.        Z='y'.
  137. goal
  138.   write(" Opredelenie Virusov B PC"),nl,
  139.   write("--------------------------------------------"),nl,
  140.   run.

Решение задачи: «Изменить программу под другой метод поиска»

textual
Листинг программы 
  1. domains
  2. str=string.
  3. int=integer.
  4. intlist=integer*.
  5. predicates
  6. nondeterm rule(int,str,str,intlist).
  7. nondeterm complete(int).
  8. nondeterm recognition(str).
  9. nondeterm discover(intlist).
  10. nondeterm ask(int).
  11. facts
  12. fact(int,str).
  13. clauses
  14.  
  15.  
  16.  
  17. ask(X):-fact(X,"y"),!.
  18. ask(X):-fact(X,"n"),!,fail.
  19.  
  20. ask(1):-write("Заражает компьютер ?"),!,complete(1).
  21. ask(2):-write("Распространяется людьми?"),!,complete(2).
  22. ask(3):-write("Совершает звонки на платные номера?"),!,complete(3).
  23. ask(4):-write("Осуществляет доступ к файловой системе?"),!,complete(4).
  24. ask(5):-write("Внедряется в существующие файлы?"),!,complete(5).
  25. ask(6):-write("Отправляет СМС-сообщения на платные номера?"),!,complete(6).
  26. ask(7):-write("Создан группой хакеров Культ дохлой коровы?"),!,complete(7).
  27. ask(8):-write("Используют сетевые протоколы?"),!,complete(8).
  28. ask(9):-write("Самораспространяется по СМС-сообщениям?"),!,complete(9).
  29. ask(10):-write("Приносит доход владельцам порносайтов?"),!,complete(10).
  30. ask(11):-write("Данные жертвы хранятся во временной файле?"),!,complete(11).
  31. ask(12):-write("Записывают свои копии в архивы?"),!,complete(12).
  32. ask(13):-write("Использует уязвимости и ошибки администрирования?"),!,complete(13).
  33. ask(14):-write("Пересылает входящие СМС-сообщения?"),!,complete(14).
  34. ask(15):-write("Располагается в каталоге Windows?"),!,complete(15).
  35.  
  36. rule(1,"вирус","BackOrifice",[1,2,4,7]).
  37. rule(2,"вирус","Pinch",[1,2,4,11]).
  38. rule(3,"вирус","NetBus",[1,2,4]).
  39. rule(4,"вирус","Trojan.Winlock",[1,2]).
  40. rule(5,"вирус","Virus.Win9x.CIH",[1,5]).
  41. rule(6,"вирус","WinStart",[1,8,12,15]).
  42. rule(7,"вирус","AdjVirus",[1,8,12]).
  43. rule(8,"вирус","Worm.Info",[1,8]).
  44. rule(9,"вирус","Conficker",[1,13]).
  45. rule(10,"вирус","VBS.LoveLetter",[1]).
  46. rule(11,"вирус","Trojan.WinCE.Terdial.a",[3]).
  47. rule(12,"вирус","Worm.SymbOS.Yxe",[6,9]).
  48. rule(13,"вирус","Trojan_Spy.SymbOS.Zbot",[6,14]).
  49. rule(14,"вирус","Trojan_SMSWinCE.Sejweek",[6]).
  50. rule(15,"вирус","Trojan-SMS.Android.FakePlayer",[10]).
  51. rule(15,"вирус","Net-Worm.IphoneOS.lke.b",[]).
  52.  
  53.  
  54. recognition(X):- rule(N, X, Y, Z), discover(Z), !,
  55. write("       это более всего похоже на ", X, " - ", Y, " (правило ", N,")"), nl,
  56. recognition(Y).
  57. recognition("сеть"):- write("Система не имеет данных, этот вирус системе не известен"),nl,!.
  58. recognition(_).
  59.  
  60. discover([]).
  61. discover([X|Y]):- ask(X), discover(Y).
  62.  
  63. complete(X):- nl, readln(Y), assert(fact(X, Y)), Y="y".
  64.  
  65. goal
  66. retractall(_), recognition("вирус").

ИИ поможет Вам:

  • решить любую задачу по программированию
  • объяснить код
  • расставить комментарии в коде
  • и т.д
Попробуйте бесплатно

Оцени полезность:

5   голосов , оценка 4.2 из 5

Нужна аналогичная работа?

Оформи быстрый заказ и узнай стоимость

Бесплатно
Оформите заказ и авторы начнут откликаться уже через 10 минут
Похожие ответы