From a393588a3f4ea15feb2e3b38a99d3a913b7daa33 Mon Sep 17 00:00:00 2001 From: dipsywong98 Date: Mon, 27 Nov 2017 01:16:24 +0800 Subject: [PATCH] task5 done --- assignment3/ass3.pl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/assignment3/ass3.pl b/assignment3/ass3.pl index 7b476c7..83c2832 100644 --- a/assignment3/ass3.pl +++ b/assignment3/ass3.pl @@ -78,5 +78,6 @@ enroll_list_helper(C,[S|AS],SL):-enroll(S,CL),\+member(C,CL),enroll_list_helper(C,AS,SL),!. enroll_list_helper(_,[],[]):-!. -enroll_list(C,SL):-all_students(ALL_S),enroll_list_helper(C,ALL_S,SL),!. -count_students(C,N):-course_list(CL),member(C,CL),enroll_list(C,L),get_length(L,N). \ No newline at end of file +enroll_list(C,SL):-var(C),course_list(CL),member(C,CL),all_students(ALL_S),enroll_list_helper(C,ALL_S,SL). +enroll_list(C,SL):- \+ var(C), all_students(ALL_S),enroll_list_helper(C,ALL_S,SL),!. +count_students(C,N):-enroll_list(C,L),get_length(L,N). \ No newline at end of file