predicates
car(real,symbol,symbol,real, symbol)
phone_number(symbol,symbol)
bank_account(symbol,symbol,real)
buy_car(symbol,symbol)
parent(symbol, symbol)
grandparent(symbol, symbol)
phone(symbol, symbol)
choose_car(symbol, symbol, symbol)

clauses
car(20000000,"audi","red",234556, "213").
car(200000,"audi","black",23455600, "223").
car(1000000,"rers","green",2556, "343").
car(5000000,"mazda","white",234556, "773").
car(300000,"jaguar","black",234556, "123").

phone_number("Betty","222 222 22 22").
phone_number("Carol","111 111 11 11").
phone_number("Carol","111 199 11 11").
phone_number("John","123 555 55 00").
phone_number("Albert","333 333 33 33").
phone_number("Albert","122 222 66 00").

bank_account("bank1","Albert",10000000).
bank_account("bank1","Betty",10000).
bank_account("bank1","Carol",300000).
bank_account("bank2","Betty",30000000000).
bank_account("bank2","John",500000).

parent("Betty", "Carol").
parent("Betty", "Albert").
parent("Carol", "John").
parent("Carol", "Sam").

choose_car(X,Y,Z):- car(_,X,Y,_,Z).
buy_car(X,Y):- bank_account(_,X,Z1),car(Z2,_,_,_,Y),Z1>=Z2.
grandparent(X,Y):- parent(X,Z),parent(Z,Y).
phone(X,Y):- phone_number(X,Y).

goal
buy_car(_,Car_number).
%grandparent(Grandparent,Grandchild).
%phone("Albert",Phone).
%choose_car(Mark,"black",Number).
%choose_car("audi","red",Number).