Možno použiť funkciu some, ktorá bude hľadať jeden prvok (napríklad upravíme funkciu some z príkladu some (schéma predikát - some)) A z hlavnej funkcie budeme volať túto funkciu pre oba hľadané prvky.

Autori

[ ZADANIE | AKO ZAČAŤ | RIEŠENIE ] Posledná aktualizácia 4. 9. 2001