Prolog 序言规则-错误？

我有事实：

/**--(course,time,location)--*/

ctl('course1', 'time1','location1').
ctl('course2', 'time1','location2').
ctl('course3', 'time2','location3').

/**--Lecturer,course-*/

lc('lecturer1','course1').
lc('lecturer2','course2').
lc('lecturer1','course3').

我对讲师的

日程安排（课程、时间、地点）

的规则是：

schedule(Lecturer,C,T,L) :-
   lc(Lecturer,C),ctl(C,T,L).

如果我这样做： ？-时间表（'讲师1'，C，T，L）。要检查讲师1的时间表，它将输出两组答案

但如果我这样做： ？-时间表（讲师，C，'time1'，_u）。要检查安排谁在time1教授什么，输出两组答案后应为“false”

---

有人知道如何修复“false”吗？

没有必要修复任何东西；

false

仅仅意味着Prolog无法找到更多的解决方案。它是无害的