Это код клипа, который я пытаюсь организовать.У меня есть некоторый вектор в BH, и я хочу найти среди них те, которые? P является общим для них.Более того, во втором векторе поиск ограничивается тем, что? E могут быть только такими типами.Пожалуйста, помогите мне.
(defrule padre
(es-padre ?P ?H)
(?E & :(tigre | leopardo | jirafa | cebra | avestruz | pinguino | albatros) ?P)
=>
(assert (?E ?H))
)
Есть ли какое-либо решение, реализующее случай коммутатора, или уникальное решение создает больше правил?