Professional Documents
Culture Documents
Theory:
PROGRAM:
:- discontiguous
superior/2,
supervise/2.
/* Rules */
superior(X,Y):-supervise(X,Y).
superior(X,Y):-supervise(X,Z),superior(Z,Y).
/*Interpretation*/
supervise(james,franklin).
supervise(franklin,john).
supervise(franklin,ramesh).
supervise(franklin,joyce).
supervise(jenifer,alicia).
supervise(jenifer,ahmad).
supervise(james,jenifer).
/*Derived facts*/
superior(franklin,john).
superior(franklin,ramesh).
superior(franklin,joyce).
superior(jenifer,alicia).
superior(jenifer,ahmad).
superior(james,franklin).
superior(james,jenifer).
superior(james,john).
superior(james,ramesh).
superior(james,joyce).
superior(james,alicia).
superior(james,ahmad).