Please show the steps and thought process. Thank you

Consider the following Prolog program. It contains facts regarding instructors of classes and in which classes students are enrolled. instructor(p,c) means that professor p is the instructor of course c. enrolled(s, c) means that student s is enrolled in course c. We want to use these facts to answer queries concerning the professors who teach particular students. Write a Prolog rule for the predicate teaches(P, S) using the predicates instructor and enrolled. We want teaches(p, s) to be true when professor p teaches student s. Add your rule at the end of the given program instructor(fibonacci, math100) instructor(turing, cs330) instructor(galileo, phys210 enrolled(john, math100) enrolled(sofia, cs330) enrolled(ryan, phys210) enrolled(lisa, math100) enrolled(matt, cs330) enrolled(lisa, cs330) Consider the following Prolog program. It contains facts regarding instructors of classes and in which classes students are enrolled. instructor(p,c) means that professor p is the instructor of course c. enrolled(s, c) means that student s is enrolled in course c. We want to use these facts to answer queries concerning the professors who teach particular students. Write a Prolog rule for the predicate teaches(P, S) using the predicates instructor and enrolled. We want teaches(p, s) to be true when professor p teaches student s. Add your rule at the end of the given program instructor(fibonacci, math100) instructor(turing, cs330) instructor(galileo, phys210 enrolled(john, math100) enrolled(sofia, cs330) enrolled(ryan, phys210) enrolled(lisa, math100) enrolled(matt, cs330) enrolled(lisa, cs330)