
q3(?k,?x1,?x2,?x8) :- hasCreditCard(?x1,?k), isOwnerOf(?x1,?x2), hasLoan(?x2,?x8), Loan(?x8), Account(?x2), Client(?x1), Gold(?k)