2

私はプロローグが初めてです。私はこのコードを持っています:

loves(vincent, mia).
loves(marsellus,mia).
jealous(X,Y):- loves(X,Z), loves(Y,Z).

私は尋ねjealous(vincent,W)た。しかし、SWI-Prolog は私にW = vincent! そうではないW = marsellusでしょうか?

4

1 に答える 1