<div class="notebook">

<div class="nb-cell program" name="p1">
solution(Users,Name1, Name2) :-
  Users = [user(1, Name1, male), user(2, Name2, female)],
  member(user(_,ivan,male), Users),
  member(user(_,maria,_), Users).
</div>

</div>