blob: b10f011243911606a70a089b2a1e1908b2876656 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
name = 'ancestor/2'
slug = 'the ancestor relation'
description = '''\
<p><code>ancestor(?X, ?Y)</code>: <code>X</code> is an ancestor (parent, grandparent, …) of <code>Y</code>.</p>
<pre>
?- ancestor(patricia, X).
X = john ;
X = michael ;
X = michelle.
</pre>'''
hint = {}
|