blob: cfa66a07c0b4596ed8e827fe2b5dd6d3f4794eb6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
# coding=utf-8
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 = {}
|
