distance(a, 20.4).
distance(b, 28.3).
distance(c, 22.6).

consumed(a, 1.3).
consumed(b, 1.5).
consumed(c, 1.0).

mpg(X, Y) :- distance(X, M), consumed(X, G), Y is M / G.