Все вопросы: [symmetric]

3 вопросов

3
голосов
3ответов
5630 просмотров

Пролог - симметричные предикаты

Мне нужно смоделировать родословную в прологе. И у меня проблема с симметричными предикатами. Факты : parent(x,y). male(x). female(y). age(x, number). Правила: blood_relation вызывает у меня головную боль. вот что я сделал: blood_relation(X,Y):-ancestor(X,Y). blood_relation(X,Y):-...

5
голосов
4ответов
4995 просмотров

Симметричные бинарные операторы C ++ с разными типами

Я изучаю C ++, и мне было интересно, могу ли я получить некоторое представление о предпочтительном способе создания бинарных операторов, которые работают с экземплярами двух разных типов. Вот пример, который я привел, чтобы проиллюстрировать свои опасения: class A; class B; class A { pri...

4
голосов
4ответов
1763 просмотров

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) и т. д.