blob: 06bfa228c5db933ff7aa35d34597a4fdfa36b8e7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
id = 144
name = 'getdigits/2'
slug = 'remove non-numeric elements from a list'
description = '''\
<p><code>getdigits(L, DL)</code>: the list <code>DL</code> contains the numeric elements of <code>L</code>, in the same order as in the original list.</p>
<pre>
?- getdigits([2,3,e,-,4,b], DL).
DL = [2,3,4].
</pre>'''
hint = {}
|
