Привет всем!!!Помогите Пожалуйста решить задачку (используется  Prolog 5.1).
Есть список.
/* program prog1_1.pro */
PREDICATES

% nondeterm автомобиль (название, пробег, возраст, цвет, цена)

nondeterm автомобиль (symbol, long, integer, symbol, long)
nondeterm грузовик(symbol, long, integer, symbol, long)
nondeterm транспорт (symbol, long, integer, symbol, long)

CLAUSES
автомобиль(крайслер, 130000, 3, красный, 12000).
автомобиль(форд, 90000, 4,серый, 25000).
автомобиль(датсан, 8000, 1, красный, 30000).
грузовик(форд, 80000, 6, синий, 8000).
грузовик(датсан, 50000, 5, оранжевый, 20000).
грузовик(тойота, 25000, 2, черный, 25000).
транспорт(Марка, Пробег, Возраст, Цвет, Цена):-
           автомобиль(Марка, Пробег, Возраст, Цвет, Цена);
  грузовик(Марка, Пробег, Возраст, Цвет, Цена).

GOAL 

с помощью составных запросов определить:

-    Пробег машин (легковых или грузовых) не старше 3 лет, ценой не меньше $ 10,000 (не пользуйтесь связкой or)
-    Цвета и марки легковых машин c пробегом не больше 8000 или марку грузовика черного цвета
Или где можно почитать об решении таких задач?