Отрицание отсутствующего факта в прологе

#prolog Вопрос: допустим, у меня есть; goal(A,B) :- goal1(A,C), goal2(C,B). но теперь, скажем goal(c,b) , нельзя сделать вывод. Если я запрошу, goal(c,b) то получу истину, но если я запрошу goal(a,B)…