prolog lab 3

% Author: Kevin Stewart 0700410
% Date: 9/28/2010

attraction('Dunns River Fall').
attraction('Dolphin Cove').
attraction('Oasis Craft Market').
attraction('Seville Land Mark').

hotel('Ridge Mount').
hotel('San Sous').
hotel('Rio Family Hotel').

tours('Ridge Mount', 'Dunns River Fall').
tours('Ridge Mount', 'Seville Land Mark').
tours('Ridge Mount', 'Oasis Craft Market').
tours('San Sous', 'Dunns River Fall').
tours('San Sous', 'Seville Land Mark').
tours('San Sous', 'Oasis Craft Market').
tours('San Sous', 'Dolphin Cove').
tours('Rio Family Hotel', 'Dunns River Fall').
tours('Rio Family Hotel', 'Oasis Craft Market').
tours('Rio Family Hotel', 'Dolphin Cove').

travel_plan(X):- X==michael, hotel(Y), tours(Y,Z), attraction(Z), nl, write(X),
write(' can make booking at '), write(Y), write(' to visit '), write(Z), fail.
travel_plan(X):- X==stacy, hotel(Y), tours(Y, 'Dolphin Cove'), tours(Y, 'Seville Land Mark'), nl,
write(X), write(' can make booking at '), write(Y), write(' to visit Dolphin Cove and the Seville Land Mark'), fail.
travel_plan(X):- X==johnny, hotel(Y), tours(Y, 'Dunns River Fall'), tours(Y, 'Dolphin Cove'),
nl, write(X), write(' can make booking at '), write(Y), write(' to visit Dunns River Fall and Dolphin Cove'), fail.