summaryrefslogtreecommitdiff
path: root/prolog/problems/dcg/paren_3/common.py
blob: e1303354a4cdec6c98db70e9fa21261df9e9fcce (plain)
1
2
3
4
5
6
7
8
9
id = 169
number = 76
visible = False
facts = None

solution = '''\
paren(0) --> [].
paren(D) --> ['('], paren(D1), [')'], paren(D2), { D1 >= D2, D is D1 + 1 ; D1 < D2 , D is D2 }.
'''