|
Examples for chapter 5 - Logic
academic(X)<-professor(X).
academic(X)<-associateProfessor(X).
academic(X)<-assistantProfessor(X).
staff(X)<-academic(X).
staff(X)<-admin(X).
staff(X)<-technician(X).
student(X)<-undergrad(X).
student(X)<-postgrad(X).
collaborators(X,Y)<-studies(X,Course),studies(Y,Course),assignment(Course,P),worksOn(X,P),worksOn(Y,P)
|
|