bystartw_tw@tg says to YSITD 表示事實： human(kate). human(bill). likes(kate,bill). 表示kate和bill是人（human），kate喜歡bill，而表示規則： friend(X,Y):-likes(X,Y),likes(Y,X).