Course management prolog, Prolog

Course management prolog

instructor(chan,cse401).
instructor(patel,cse402).
instructor(shihab,cse403).
instructor(mostak,cse403).
instructor(grossman,cse403).

enrolled(kevin,cse401).
enrolled(kevin,cse402).
enrolled(kevin,cse403).
enrolled(kiko,cse401).
enrolled(kiko,cs405).
enrolled(liza,cse404).
enrolled(liza,cse403).
enrolled(sonia,cse404).
enrolled(sonia,cse405).
enrolled(trisha,cse401).
enrolled(urmi,cse402).
enrolled(subu,cse403).

%%Which students have taken either cse401 or cse402?

rule1(X):-
     enrolled(X,cse401);
     enrolled(X,cse402).

%%Which students have taken neither cse404 nor cse403?

rule2(X):-
    not(enrolled(X,cse404)),
    not(enrolled(X,cse403)).

%%Which students are being taught by the teacher mostak?

rule3(X):-

enrolled(X,cse403).

%%Which students have taken cse401, cse402 & cse403 or none of them?

rule4(X):-
enrolled(X,cse401),
enrolled(X,cse402),
enrolled(X,cse403);
not(enrolled(X,cse401)),
not(enrolled(X,cse402)),
not(enrolled(X,cse403)).

%%Which students have not taken cse404 or cse405?

rule5(X):-
not(enrolled(X,cse404));
not(enrolled(X,cse405)).


run \| edit \| history \| help	0