blob: 1f7b5243f5502722e7b3f93d3a978faaea1bf220 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
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 = {}
|
