Consider the following program:

likes(marie, pizza).
likes(marco, pizza).
likes(Person, pizza) :- italian(Person).
italian(marco).

What would the output of the following
query be?

?- setof(Person, likes(Person, pizza), Persons).

Question

Consider the following program:

likes(marie, pizza). 
 likes(marco, pizza). 
 likes(Person, pizza) :- italian(Person). 
 italian(marco).

What would the output of the following
query be?

?- setof(Person, likes(Person, pizza), Persons).

Answer

Persons = [marco, marie].

Answer

Persons = [marie, marco, marco].

Answer

Persons = [marco, marco, marie].

Answer

Persons = [marie, marco].

Crowdly