prolog/problems/family_relations/brother_2/common.py


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

# coding=utf-8

id = 97
group = 'family_relations'
number = 4
visible = True
facts = 'family_relations'

solution = '''\
brother(X, Y) :-
  parent(P, X),
  parent(P, Y),
  male(X),
  X \== Y.
'''