Example

% courses.pl Some prerequisite relationships

prereq(cse142, cse143).

prereq(cse143, cse341).

prereq(cse341, cse473).

before(X, Y) :- prereq(X, Y).

before(X, Y) :- prereq(X, Z), before(Z, Y).

Previous slide

Next slide

Back to first slide

View graphic version