speed(ford,100).
speed(chevy,105).
speed(dodge,95).
speed(chevy,110).
time(ford,20).
time(chevy,21).
time(dodge,24).
time(chevy,19).
distance(X,Y) :- speed(X,Speed),
    time(X,Time),
    Y is Speed * Time.