ULM диаграммы к программе на Prolog

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

Здравствуйте! Помогите пожалуйста... у меня есть программе на Visual Prolog, я на рисовал к ней диаграмму, но что то там не правильно. Никак не могу разобраться. Помогите пожалуйста исправить UML диаграмму. Зарание большое СПАСИБО!!! Задание: Написать программу, в которой будут определяться перелетные птицы и нет.

                    Листинг программы
                
 
                        
                          
                    
domains
name, migratory = symbol
 
predicates
bird(name, migratory)
 
clauses
bird(aist, can_fly).
bird(vorobey, can_fly).
bird(pingvin, can_not_fly)
bird(straus, can_not_fly).
bird(orel, can_fly)
bird(emu, can_not_fly).
bird(kukushka, can_fly).
bird(sinisa, can_fly).
 
bird(X,"migrant"):-bird(X, "can_fly").
bird(X,"no_migrant"):-bird(X,"can_not_fly).
 
goal
bird(aist, migrant).

Решение задачи: «ULM диаграммы к программе на Prolog»

Листинг программы

 domains
movie, studio = symbol
predicates
film(movie,studio)
clauses
film("Star Trek","Paramount Pictures").
film("Stargate","Metro-Goldwyn-Mayer").
film("Star Wars","20th Century Fox").
film("Doctor Who","BBC").
film(X,"USA"):-film(X,"Paramount Pictures").
film(X,"USA"):-film(X,"Metro-Goldwyn-Mayer").
film(X,"USA"):-film(X,"20th Century Fox").
film(X,"UK"):-film(X,"BBC").
goal
film("Doctor Who","BBC").

Объяснение кода листинга программы

В коде используется язык программирования Prolog.
В начале кода определены два домена: movie и studio, которые представлены в виде символов.
Далее определены два предиката: film/2 и clauses/0.
Предикат film/2 имеет два аргумента: movie и studio и используется для описания связи между фильмами и студиями.
В разделе clauses/0 определены несколько утверждений, описывающих связь между фильмами и студиями.
В утверждениях используется метод разрешения неоднозначности, который позволяет определить студию, выпустившую фильм, основываясь на названии фильма.
В последнем утверждении используется метод разрешения неоднозначности, который позволяет определить страну, выпустившую фильм, основываясь на названии студии.
В цели (goal) указано утверждение film(Doctor Who,BBC), которое является запросом на вывод информации о фильме Doctor Who и студии, выпустившей этот фильм.
В результате выполнения кода на экран будет выведена информация о фильме Doctor Who и студии BBC.