例如果把上节的例子程序作为 Turbo PROlo0G程序,则应改 写为: DOMAINS蕌 nane= symbol蕌 PREDICATES蕌 likes(nane, naIme).蕌 friend(name,name)蕌 GOAL蕌 friend (john, Y), write("Y=",Y).tr CLAUSES likes(bell, sports).tr likes(mary, ImusIc).晶 likes(mary, sports). It likes(jane, smith).蕌 friend (john, X): -likes(X, sports), likes(X, music).It friend (john, X): -likes(X, reading), likes (X, music