Create a Prolog database for a university. The database consists of ground atomic formulas made from the following predicates:

Create a Prolog database for a university. The database consists of ground atomic

formulas made from the following predicates:

student[name,gpa,dept]

professor[name,salary,dept]

course[course#,year,prof_name]

enrolment[course#,year,student_name]

These predicates are interpreted as follows. Each student has a name, grade point

average, and department. Each professor has a name, salary and department. Each

course has a course number, year and a professor who teaches it. Finally, the

enrolment predicate describes which students take which courses in each year. A

course may have many students, a student may take many courses, a professor may

teach many courses, but each course may be offered only once a year.

Here are typical atomic formulas for each of the four predicates: