Mercurial > repo

comparison ibin/brachylog/Brachylog-master/src/constraint_variables.pl @ 11865:318de151d0ec draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
author HackEso <hackeso@esolangs.org>
date Tue, 16 Jul 2019 21:37:27 +0000
parents
children
comparison
equal deleted inserted replaced
11864:d054de7f80f2 11865:318de151d0ec
1 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
2 ____ ____
3 \ \ / /
4 \ \ ____ / /
5 \ \/ \/ /
6 \ /\ / BRACHYLOG
7 \ / \ / A terse declarative logic programming language
8 / \ / \
9 / \/ \ Written by Julien Cumin - 2017
10 / /\____/\ \ https://github.com/JCumin/Brachylog
11 / / ___ \ \
12 /___/ /__/ \___\
13
14 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
15
16
17 :- module(constraint_variables, [constraintA/1,
18 constraintB/1,
19 constraintC/1,
20 constraintD/1,
21 constraintE/1,
22 constraintF/1,
23 constraintG/1,
24 constraintH/1,
25 constraintI/1,
26 constraintJ/1, % Unused
27 constraintK/1, % Unused
28 constraintL/1, % Unused
29 constraintM/1,
30 constraintN/1,
31 constraintO/1,
32 constraintP/1,
33 constraintQ/1, % Unused
34 constraintR/1,
35 constraintS/1,
36 constraintT/1,
37 constraintU/1, % Unused
38 constraintV/1, % Unused
39 constraintW/1,
40 constraintX/1,
41 constraintY/1,
42 constraintZ/1
43 ]).
44
45 :- use_module(library(clpfd)).
46 :- use_module(utils).
47
48
49 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
50 CONSTRAINT[A-Z]/1
51 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
52 constraintA(_) :-
53 true.
54
55
56 constraintB(_) :-
57 true.
58
59
60 constraintC([_,_]).
61
62
63 constraintD('integer':X) :-
64 X in 0..9.
65
66
67 constraintE([]).
68
69
70 constraintF(_) :-
71 true.
72
73
74 constraintG(_) :-
75 true.
76
77
78 constraintH(_) :-
79 true.
80
81
82 constraintI('integer':X) :-
83 X in inf..sup.
84
85
86 constraintJ(_) :- % Unused
87 true.
88
89
90 constraintK(_) :- % Unused
91 true.
92
93
94 constraintL(_) :- % Unused
95 true.
96
97
98 constraintM([_,_|_]).
99
100
101 constraintN(_) :-
102 true.
103
104
105 constraintO([_]).
106
107
108 constraintP(_) :-
109 true.
110
111
112 constraintQ(_) :- % Unused
113 true.
114
115
116 constraintR(_) :-
117 true.
118
119
120 constraintS('string':_).
121
122
123 constraintT([_,_,_]).
124
125
126 constraintU(_) :- % Unused
127 true.
128
129
130 constraintV(_) :- % Unused
131 true.
132
133
134 constraintW(_) :-
135 true.
136
137
138 constraintX(_) :-
139 true.
140
141
142 constraintY(_) :-
143 true.
144
145
146 constraintZ(_) :-
147 true.