Все вопросы: [symmetric]
3 вопросов
Пролог - симметричные предикаты
Мне нужно смоделировать родословную в прологе. И у меня проблема с симметричными предикатами. Факты : parent(x,y). male(x). female(y). age(x, number). Правила: blood_relation вызывает у меня головную боль. вот что я сделал: blood_relation(X,Y):-ancestor(X,Y). blood_relation(X,Y):-...
Симметричные бинарные операторы C ++ с разными типами
Я изучаю C ++, и мне было интересно, могу ли я получить некоторое представление о предпочтительном способе создания бинарных операторов, которые работают с экземплярами двух разных типов. Вот пример, который я привел, чтобы проиллюстрировать свои опасения: class A; class B; class A { pri...
Rect :: contains (Point) или Point :: is_inside (Rect)
Должен ли API предоставлять Rect :: contains (Point) или Point :: is_inside (Rect) или оба? или Math :: contains (Point, Rect), потому что он симметричный? То же самое касается LineSegment :: contains (Point), Rect :: full_contains (Circle) и т. д.