prolog/problems/clp_fd/puzzle_beth_1/common.py


1
2
3
4
5
6
7
8
9
10
11

# coding=utf-8

id = 155
group = 'clp_fd'
number = 56
visible = True
facts = None

solution = '''\
puzzle_beth(X) :-
  X + 2 #= 2*(X-5).'''