summaryrefslogtreecommitdiff
path: root/prolog/problems/family_relations/aunt_2/common.py
blob: f0af2dce3d25a9e00b84158226242f783ab17444 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
# coding=utf-8

id = 98
group = 'family_relations'
number = 5
visible = True
facts = 'family_relations'

solution = '''\
sister98(X, Y) :-
  parent(P, X),
  parent(P, Y),
  female(X),
  X \== Y.

aunt(X, Y) :-
  sister98(X, Z),
  parent(Z, Y).
'''