Core Courses CS NMSU

INSERT INTO `tbl_core_courses` (`id`, `department_id`, `subj`, `crse`, `credit`, `title`) VALUES
(127, 1, 'CS', 510, 3, 'AUTOMATA, LANG, COMP'),
(128, 1, 'CS', 550, 3, 'COMPLEXITY THEORY'),
(129, 1, 'CS', 570, 3, 'ANALYSIS OF ALGORITHMS'),
(130, 1, 'CS', 571, 3, 'OPERATING SYSTEMS 2'),
(131, 1, 'CS', 572, 3, 'ADVANCED ALGORITHMS'),
(132, 1, 'CS', 573, 3, 'ARCHITECTURAL CNCPT 2'),
(133, 1, 'CS', 574, 3, 'OPERATING SYSTEMS 2'),
(134, 1, 'CS', 575, 3, 'ARTIFICIAL INTLGNCE II'),
(135, 1, 'CS', 580, 3, 'COMPILER CONSTRUCTION'),
(136, 1, 'CS', 581, 3, 'ADV SOFTWARE ENGR'),
(137, 1, 'CS', 582, 3, 'DATABASE MGT SYST II'),
(138, 1, 'CS', 584, 3, 'COMPUTER NETWORKS II'),
(139, 1, 'CS', 586, 3, 'ALGORITHMIC SYSTEMS BIOLOGY');

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.