私はプロローグが初めてです。私はこのコードを持っています:
loves(vincent, mia).
loves(marsellus,mia).
jealous(X,Y):- loves(X,Z), loves(Y,Z).
私は尋ねjealous(vincent,W)
た。しかし、SWI-Prolog は私にW = vincent
! そうではないW = marsellus
でしょうか?
私はプロローグが初めてです。私はこのコードを持っています:
loves(vincent, mia).
loves(marsellus,mia).
jealous(X,Y):- loves(X,Z), loves(Y,Z).
私は尋ねjealous(vincent,W)
た。しかし、SWI-Prolog は私にW = vincent
! そうではないW = marsellus
でしょうか?