

q4(?k,?x1,?x2) :- hasCreditCard(?x1,?k), livesIn(?x1,?x2), Prague(?x2), Client(?x1), Gold(?k)