praia(palmas):-dir_vento([1]), dir_ondulacao([2]), temChuveiro([1]), possuiMovimento([2]), possuiNativos([1]).
praia(armacao) :- dir_vento([1]), dir_ondulacao([1]), temChuveiro([1]), possuiMovimento([1]), possuiNativos([1]).
praia(jurere):-dir_vento([2]), dir_ondulacao([2]), temChuveiro([2]), possuiMovimento([1]), possuiNativos([2]).
praia(joaquina) :- dir_vento([4]), dir_ondulacao([3]), temChuveiro([1]), possuiMovimento([1]), possuiNativos([1]).
praia(pantano_do_sul) :- dir_vento([1]), dir_ondulacao([2]), temChuveiro([2]), possuiMovimento([2]), possuiNativos([2]).
praia(santinho) :- dir_vento([2]), dir_ondulacao([1]), temChuveiro([1]), possuiMovimento([1]), possuiNativos([1]).
praia(mole) :- dir_vento([4]), dir_ondulacao([3]), temChuveiro([2]), possuiMovimento([1]), possuiNativos([2]).
praia(galheta) :- dir_vento([4]), dir_ondulacao([3]), temChuveiro([2]), possuiMovimento([2]), possuiNativos([2]).
praia(mocambique) :- dir_vento([4]), dir_ondulacao([3]), temChuveiro([1]), possuiMovimento([2]), possuiNativos([2]).
praia(campeche) :- dir_vento([1]), dir_ondulacao([2]), temChuveiro([2]), possuiMovimento([1]), possuiNativos([1]).
praia(naufragados) :- dir_vento([1]); dir_vento([3]), dir_ondulacao([2]); dir_ondulacao([4]), temChuveiro([2]), 
possuiMovimento([2]), possuiNativos([1]).
praia(matadeiro) :- dir_vento([1]), dir_ondulacao([2]), temChuveiro([1]), possuiMovimento([2]), possuiNativos([2]).
praia(brava) :- dir_vento([2]), dir_ondulacao([1]), temChuveiro([1]), possuiMovimento([1]), possuiNativos([2]).
praia(barra_da_lagoa) :- dir_vento([4]), dir_ondulacao([3]), temChuveiro([2]), possuiMovimento([1]), possuiNativos([1]).