%trace

domains
pr = price(real)
ele = electric(symbol)
br = brand(symbol)
mod = model(symbol)
cls = class(symbol)
predicates
data(mod,br,ele,pr,cls)
choice(integer)
repeat
clauses
repeat.
repeat :repeat.
data(mod(i3), brand(bmw), ele(hybrid), price(43300), class(sedan)).
data(mod(i8), brand(bmw), ele(hybrid), price(137000), class(coupe)).
data(mod(50e), brand(fiat), ele(electric), price(32000), class(coupe)).