summaryrefslogtreecommitdiff
path: root/prolog/problems/dcg/number_proper_2/common.py
blob: 27795394e627cc61c969f2b24ae087d059732a8e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
# coding=utf-8

id = 166
number = 73
visible = False
facts = None

solution = '''\
number_proper --> digit166.
number_proper --> nzdigit166, num_next166.

num_next166 --> digit166.
num_next166 --> digit166, num_next166.

digit166 --> ([0] ; [1] ; [2] ; [3] ; [4] ; [5] ; [6] ; [7] ; [8] ; [9]).
nzdigit166 --> ([1] ; [2] ; [3] ; [4] ; [5] ; [6] ; [7] ; [8] ; [9]).
'''