例題３

gpx_on_course_in(X,C) :- gpx(C,L), member(X,L). member(X,[X|_]). member(X,[_|L]) :- member(X,L).