blob: f5016fa75507fd0d7e8e9621c121c620371c3b43 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# coding=utf-8
name = 'gcd/3'
slug = 'Največji skupni delitelj'
description = '''\
<p><code>gcd(X, Y, GCD)</code>: <code>GCD</code> je največji skupni delitelj števil <code>X</code> in <code>Y</code>. Implementiraj ta predikat z uporabo omejitev.</p>
<p>Namig: poskusi najprej napisati predikat, ki poišče <em>vse</em> skupne delitelje dveh števil.</p>
<pre>
?- gcd(36, 84, GCD).
GCD = 12.
</pre>'''
hint = {}
|
