1. Implement the predicate liststudents(courseID) that takes a course ID andreturns the list of students that take the course.Examples:liststudents(MATH101, L). returns L = [2000100001, 2000100002,2000100003, 2000100004,2000100008, 2000100010, 2000100012, 2002100009, 2002100040]liststudents(MATH105, L). returns L = []liststudents(HIST301, L).returns L = [2000100002, 2000100003, 2000100004, 2000100015,2000100016, 2000100011, 2002100009, 2002100071, 2002100040]2. Implement the predicate countstudents that returns the number of studentsin the database.Examples:countstudents(N).returns N = 203. Implement the predicate listdates(studentID) that takes a student ID andreturns the list of exam dates for the courses the student takes.Examples:listdates(2000100017, D).returns D = []listdates(2002100010, D).returns D = ['15.04.2010', '25.05.2010', '04.06.2010']listdates(2000100007, D).returns D = ['16.04.2010', '20.05.2010','02.06.2010', '15.04.2010','19.05.2010', '05.06.2010']listdates(2000100004, D).returns D = ['17.04.2010', '15.05.2010', '04.06.2010', '15.04.2010','19.05.2010', '05.06.2010', '16.04.2010', '20.05.2010', '02.06.2010','14.04.2010','21.05.2010', '01.06.2010']listdates(2000000000, D).returns D = []4. Implement the predicate lefthandedlist(courseID) that takes a courseID and returns the list of students that prefer left handed desks in the course.Examples:lefthandedlist(MATH101, L).returns L = [2000100001, 2000100002, 2000100003,2000100004,2000100012, 2002100040]lefthandedlist(MATH125, L).returns L = []lefthandedlist(CMPE150, L).returns L = []lefthandedlist(PHYS201, L).returns L = [2000100001, 2000100002, 2000100004,2000100009, 2000100012]5. Implement the predicate suitablerooms(courseID) that takes a course ID andreturns the list of suitable rooms, i.e., the ones that have enough number ofleft handed desks for the course.Note:When writing this predicate, you must make use of the predicatelefthandedlist(courseID) in the above question.Examples:suitablerooms(MATH101, S).returns S = [NH101, NH201, NH301, HKD101]suitablerooms(MATH301, S).returns S = []suitablerooms(CMPE150, S).returns S = [NH101, NH201, NH301, M2001, ETAA2, ETB101,HKD101]suitablerooms(PHYS201, S).returns S = [NH101, NH201, NH301, M2001, ETAA2, ETB101,HKD101]O