Сделайте swi пролог для возврата имени предиката

Question

извините, я просто хочу вернуть имя предиката америка

america('kin').
novelist('kin').
writer(X):- novelist(X).

, когда я запрашиваю swi ниже writer(A),novelist(A)

это просто соответствует A = 'kin', как изменить swi на заставить его вернуть Америку?

Answer 1

Означает ли america(X) "Х живет в Америке"? Я бы предложил сделать america атом вместо предиката, а затем определить такие факты, как:

lives_in(kin, america).

Это позволяет вам определять правила, такие как:

novelist_living_in(X, Y) :- novelist(X), lives_in(X, Y).

, чтобы вы может делать запросы, такие как:

novelist_living_in(kin, Y).