Given the following semantic network, write a prolog program:

Write all the facts of the given diagram.

Write set of rules that can answer questions related to find whether the relation is Linerelation $(x,Y,Z),$ Simple$-$relation $(x,Y)$ or Complex$-$relation $(x,Y,Z,M).$ For example, your goal can be Line$-$relation$($investment$,$high$-$risk,stocks$-$shares$).$ You should get true. Line$-$relation$($investment$,$X$,$stocks$-$shares$).$ You should get high$-$risk.

The rules can be constructed based on

a$)$ Can$-$be $(x,Y{)}^{?}$ Are $(Z,Y)$ yields to Line$-$relation $(x,Y,Z)$

b$)$ Is$-$a$(x,Y$ is$-$a$(Y,x)$ yields to Simple$-$relation $(x,Y)$

c$)$ Requires $(x,Y{)}^{?}$ is$-$a $(x,Z{)}^{?}$ is$-$a $(Z,x{)}^{?}$ can$-$be $(Z,M{)}^{?}$ is $(x,M)$ yields to Complexrelation$(x,Y,Z,M$

Note: In addition to the $pl$ files, you have to submit a document file $($contains the program$)$ with screenshots of various runs.