Mercurial > repo
diff ibin/brachylog/Brachylog-master/src/constraint_variables.pl @ 11865:318de151d0ec draft
<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 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/ibin/brachylog/Brachylog-master/src/constraint_variables.pl Tue Jul 16 21:37:27 2019 +0000 @@ -0,0 +1,147 @@ +/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - +____ ____ +\ \ / / + \ \ ____ / / + \ \/ \/ / + \ /\ / BRACHYLOG + \ / \ / A terse declarative logic programming language + / \ / \ + / \/ \ Written by Julien Cumin - 2017 + / /\____/\ \ https://github.com/JCumin/Brachylog + / / ___ \ \ +/___/ /__/ \___\ + +- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ + + +:- module(constraint_variables, [constraintA/1, + constraintB/1, + constraintC/1, + constraintD/1, + constraintE/1, + constraintF/1, + constraintG/1, + constraintH/1, + constraintI/1, + constraintJ/1, % Unused + constraintK/1, % Unused + constraintL/1, % Unused + constraintM/1, + constraintN/1, + constraintO/1, + constraintP/1, + constraintQ/1, % Unused + constraintR/1, + constraintS/1, + constraintT/1, + constraintU/1, % Unused + constraintV/1, % Unused + constraintW/1, + constraintX/1, + constraintY/1, + constraintZ/1 + ]). + +:- use_module(library(clpfd)). +:- use_module(utils). + + +/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + CONSTRAINT[A-Z]/1 +- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ +constraintA(_) :- + true. + + +constraintB(_) :- + true. + + +constraintC([_,_]). + + +constraintD('integer':X) :- + X in 0..9. + + +constraintE([]). + + +constraintF(_) :- + true. + + +constraintG(_) :- + true. + + +constraintH(_) :- + true. + + +constraintI('integer':X) :- + X in inf..sup. + + +constraintJ(_) :- % Unused + true. + + +constraintK(_) :- % Unused + true. + + +constraintL(_) :- % Unused + true. + + +constraintM([_,_|_]). + + +constraintN(_) :- + true. + + +constraintO([_]). + + +constraintP(_) :- + true. + + +constraintQ(_) :- % Unused + true. + + +constraintR(_) :- + true. + + +constraintS('string':_). + + +constraintT([_,_,_]). + + +constraintU(_) :- % Unused + true. + + +constraintV(_) :- % Unused + true. + + +constraintW(_) :- + true. + + +constraintX(_) :- + true. + + +constraintY(_) :- + true. + + +constraintZ(_) :- + true.