state(dallas, minnesota, 1000).
state(california, dallas, 500).
state(utah, texas, 400).
state(la, california, 600).
state(texas, dallas, 100).
state(texas, california, 300).
state(la, texas, 700).
state(california, minnesota, 600).

resident(john, dallas).
resident(fred, texas).
resident(alice, la).
resident(mary, utah).
resident(jack, texas).
resident(lisa, california).
resident(bob, minnesota).
resident(gary, la).