
q1(?k,?x1,?x2) :- hasCreditCard(?x1, ?k), livesIn(?x1,?x2), Prague(?x2), Man(?x1), Gold(?k)

