blob: 5ae1bd026032af79c5305e721a2aa64a19e3fbc8 (
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 = {}
|