Project Backup code

%clingo 0 -c length=4 q5.lp
%clingo 0 test.lp
semesters(1..2).
course(1..3).

available(cs574).
available(cs518).
available(cs579).
available(cs581).
available(cs582).
available(cs584).

taken(cs518).
taken(cs584).

cantake(A) :- available(A), not taken(A). %see the difference between :- and :

2{can(A): cantake(A)}3.

#show can/1.