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.

(defun some (prv sv)
 (cond ((equal prv sv) T)
       ((ATOM sv) NIL)
       (T (OR (some prv (first sv)) (some prv (rest sv))))
 )
)

; Hlavná funkcia.
(defun both (prv1 prv2 sv)
 (AND (some prv1 sv) (some prv2 sv))
)

; Príklady:
(both 'a 'b '((1 2)((a))))   ; -> NIL
(both 'a 'b '((1 b)((a 2)))) ; -> T

Autori

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