Mercurial > repo
annotate interps/brachylog/brachylog/Brachylog-master/src/tests.pl @ 11868:70dedbc831e9 draft
<ais523> ` mv ibin/brachylog interps/brachylog
| author | HackEso <hackeso@esolangs.org> |
|---|---|
| date | Tue, 16 Jul 2019 21:39:11 +0000 |
| parents | ibin/brachylog/Brachylog-master/src/tests.pl@318de151d0ec |
| children |
| rev | line source |
|---|---|
|
11865
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
1 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
2 ____ ____ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
3 \ \ / / |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
4 \ \ ____ / / |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
5 \ \/ \/ / |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
6 \ /\ / BRACHYLOG |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
7 \ / \ / A terse declarative logic programming language |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
8 / \ / \ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
9 / \/ \ Written by Julien Cumin - 2017 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
10 / /\____/\ \ https://github.com/JCumin/Brachylog |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
11 / / ___ \ \ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
12 /___/ /__/ \___\ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
13 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
14 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
15 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
16 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
17 :- consult(brachylog). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
18 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
19 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
20 :- begin_tests(predicates). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
21 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
22 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
23 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
24 BRACHYLOG_LESSEQUAL |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
25 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
26 test('lessequal_1', all(X == [2])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
27 run_from_atom('1≤2', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
28 test('lessequal_2', all(X == [2])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
29 run_from_atom('_1≤2', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
30 test('lessequal_3', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
31 run_from_atom('0≤0', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
32 test('lessequal_4', all(X == [13])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
33 run_from_atom('13≤13', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
34 test('lessequal_5', all(X == [-42])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
35 run_from_atom('_42≤_42', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
36 test('lessequal_6', all(X == [[1,2,3]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
37 run_from_atom('[1,2,3]≤₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
38 test('lessequal_7', all(X == [[-1,0,1]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
39 run_from_atom('[_1,0,1]≤₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
40 test('lessequal_8', all(X == [[-42,-23,-16]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
41 run_from_atom('[_42,_23,_16]≤₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
42 test('lessequal_9', all(X == [[1,1,3],[1,2,3],[1,3,3]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
43 run_from_atom('[1,I,3]≤₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
44 test('lessequal_10', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
45 run_from_atom('2≤1', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
46 test('lessequal_11', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
47 run_from_atom('2≤_1', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
48 test('lessequal_12', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
49 run_from_atom('[1,3,2]≤₁', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
50 test('lessequal_13', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
51 run_from_atom('[1,I,_1]≤₁', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
52 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
53 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
54 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
55 BRACHYLOG_GREATEREQUAL |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
56 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
57 test('greaterequal_1', all(X == [1])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
58 run_from_atom('2≥1', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
59 test('greaterequal_2', all(X == [-1])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
60 run_from_atom('2≥_1', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
61 test('greaterequal_3', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
62 run_from_atom('0≥0', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
63 test('greaterequal_4', all(X == [13])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
64 run_from_atom('13≥13', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
65 test('greaterequal_5', all(X == [-42])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
66 run_from_atom('_42≥_42', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
67 test('greaterequal_6', all(X == [[3,2,1]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
68 run_from_atom('[3,2,1]≥₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
69 test('greaterequal_7', all(X == [[1,0,-1]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
70 run_from_atom('[1,0,_1]≥₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
71 test('greaterequal_8', all(X == [[-16,-23,-42]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
72 run_from_atom('[_16,_23,_42]≥₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
73 test('greaterequal_9', all(X == [[3,1,1],[3,2,1],[3,3,1]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
74 run_from_atom('[3,I,1]≥₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
75 test('greaterequal_10', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
76 run_from_atom('1≥2', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
77 test('greaterequal_11', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
78 run_from_atom('_1≥2', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
79 test('greaterequal_12', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
80 run_from_atom('[1,3,2]≥₁', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
81 test('greaterequal_13', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
82 run_from_atom('[_1,I,1]≥₁', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
83 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
84 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
85 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
86 BRACHYLOG_CONTAINS |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
87 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
88 % Nothing, same code as brachylog_in |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
89 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
90 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
91 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
92 BRACHYLOG_IN |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
93 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
94 test('in_1', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
95 run_from_atom('∋', [], _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
96 test('in_2', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
97 run_from_atom('∋', "", _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
98 test('in_3', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
99 run_from_atom('∋', 0, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
100 test('in_4', all(X == [7])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
101 run_from_atom('∋', 7, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
102 test('in_5', all(X == [7])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
103 run_from_atom('∋', '_7', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
104 test('in_6', all(X == [1,0,2,3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
105 run_from_atom('∋', 1023, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
106 test('in_7', all(X == [1,0,2,3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
107 run_from_atom('∋', [1,0,2,3], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
108 test('in_8', all(X == [1023,"test"])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
109 run_from_atom('∋', [1023,"test"], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
110 test('in_9', all(X == ["test"])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
111 run_from_atom('∋', ["test"], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
112 test('in_10', all(X == ["t","e","s","t"])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
113 run_from_atom('∋', "test", X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
114 test('in_11', all(X == [1])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
115 run_from_atom('∋₀', 1023, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
116 test('in_12', all(X == ["t"])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
117 run_from_atom('∋₀', "test", X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
118 test('in_13', all(X == [1023])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
119 run_from_atom('∋₀', [1023,"test"], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
120 test('in_14', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
121 run_from_atom('∋₁', 1023, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
122 test('in_15', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
123 run_from_atom('∋₄', 1023, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
124 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
125 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
126 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
127 BRACHYLOG_SUPERSET |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
128 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
129 % Nothing, same code as brachylog_subset |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
130 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
131 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
132 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
133 BRACHYLOG_SUBSET |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
134 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
135 test('subset_1', all(X == [[]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
136 run_from_atom('⊇', [], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
137 test('subset_2', all(X == [""])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
138 run_from_atom('⊇', "", X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
139 test('subset_3', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
140 run_from_atom('⊇', 0, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
141 test('subset_4', all(X == [7])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
142 run_from_atom('⊇', 7, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
143 test('subset_5', all(X == [123,12,13,23,1,2,3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
144 run_from_atom('⊇', 123, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
145 test('subset_6', all(X == [[1,2,3],[1,2],[1,3],[2,3],[1],[2],[3],[]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
146 run_from_atom('⊇', [1,2,3], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
147 test('subset_7', all(X == ["test","tes","tet","tst","est","te","ts","tt","es","et","st","t","e","s","t",""])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
148 run_from_atom('⊇', "test", X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
149 test('subset_8', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
150 run_from_atom('⊇', [1,2,3], [1,5]). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
151 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
152 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
153 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
154 BRACHYLOG_REVERSE |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
155 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
156 test('reverse_1', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
157 run_from_atom('↔', 0, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
158 test('reverse_2', all(X == [[]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
159 run_from_atom('↔', [], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
160 test('reverse_3', all(X == [""])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
161 run_from_atom('↔', "", X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
162 test('reverse_4', all(X == [321])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
163 run_from_atom('↔', 123, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
164 test('reverse_5', all(X == [321])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
165 run_from_atom('↔', 1230, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
166 test('reverse_6', all(X == ["tset"])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
167 run_from_atom('↔', "test", X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
168 test('reverse_7', all(X == [[0,3,2,1]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
169 run_from_atom('↔', [1,2,3,0], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
170 test('reverse_8', all(X == [[1,2,3,2,1]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
171 run_from_atom('↔?', '[1,2,3,I,J]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
172 test('reverse_9', all(X == [["a","b","c","b","a"]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
173 run_from_atom('↔?', '["a","b","c",I,J]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
174 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
175 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
176 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
177 BRACHYLOG_CALL_PREDICATE |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
178 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
179 % TODO |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
180 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
181 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
182 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
183 BRACHYLOG_CIRCULAR_PERMUTE_COUNTERCLOCKWISE |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
184 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
185 test('circular_permute_counterclockwise_1', all(X == [[]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
186 run_from_atom('↺', [], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
187 test('circular_permute_counterclockwise_2', all(X == [""])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
188 run_from_atom('↺', "", X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
189 test('circular_permute_counterclockwise_3', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
190 run_from_atom('↺', 0, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
191 test('circular_permute_counterclockwise_4', all(X == [231])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
192 run_from_atom('↺', 123, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
193 test('circular_permute_counterclockwise_5', all(X == ["estt"])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
194 run_from_atom('↺', "test", X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
195 test('circular_permute_counterclockwise_6', all(X == [[2,"test",1]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
196 run_from_atom('↺', [1,2,"test"], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
197 test('circular_permute_counterclockwise_7', all(X == [[4,5,6,1,2,3]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
198 run_from_atom('↺₃', [1,2,3,4,5,6], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
199 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
200 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
201 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
202 BRACHYLOG_CIRCULAR_PERMUTE_CLOCKWISE |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
203 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
204 test('circular_permute_clockwise_1', all(X == [[]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
205 run_from_atom('↻', [], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
206 test('circular_permute_clockwise_2', all(X == [""])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
207 run_from_atom('↻', "", X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
208 test('circular_permute_clockwise_3', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
209 run_from_atom('↻', 0, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
210 test('circular_permute_clockwise_4', all(X == [312])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
211 run_from_atom('↻', 123, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
212 test('circular_permute_clockwise_5', all(X == ["ttes"])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
213 run_from_atom('↻', "test", X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
214 test('circular_permute_clockwise_6', all(X == [["test",1,2]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
215 run_from_atom('↻', [1,2,"test"], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
216 test('circular_permute_clockwise_7', all(X == [[4,5,6,1,2,3]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
217 run_from_atom('↻₃', [1,2,3,4,5,6], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
218 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
219 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
220 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
221 BRACHYLOG_ROOT |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
222 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
223 test('root_1', all(X == [-1,1])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
224 run_from_atom('√', 1, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
225 test('root_2', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
226 run_from_atom('√', 0, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
227 test('root_3', all(X == [-12,12])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
228 run_from_atom('√', 144, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
229 test('root_4', all(X == [2.23606797749979])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
230 run_from_atom('√', 5, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
231 test('root_5', throws(_)) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
232 run_from_atom('√', '_5', _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
233 test('root_6', all(X == [2.04939015319192])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
234 run_from_atom('√', 4.2, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
235 test('root_7', all(X == [3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
236 run_from_atom('√₃', 27, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
237 test('root_8', all(X == [-3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
238 run_from_atom('√₃', '_27', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
239 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
240 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
241 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
242 BRACHYLOG_CEIL |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
243 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
244 test('ceil_1', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
245 run_from_atom('⌉', [], _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
246 test('ceil_2', all(X == [3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
247 run_from_atom('⌉', [1,2,3], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
248 test('ceil_3', all(X == [-5])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
249 run_from_atom('⌉', '[_9,_5,_13]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
250 test('ceil_4', all(X == ["test"])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
251 run_from_atom('⌉', ["test",2,3], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
252 test('ceil_5', all(X == ["z"])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
253 run_from_atom('⌉', ["test","z"], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
254 test('ceil_6', all(X == [123])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
255 run_from_atom('⌉₁', 123, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
256 test('ceil_7', all(X == [124])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
257 run_from_atom('⌉₁', 123.45, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
258 test('ceil_8', all(X == [-123])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
259 run_from_atom('⌉₁', '_123.45', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
260 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
261 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
262 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
263 BRACHYLOG_FLOOR |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
264 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
265 test('floor_1', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
266 run_from_atom('⌋', [], _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
267 test('floor_2', all(X == [1])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
268 run_from_atom('⌋', [1,2,3], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
269 test('floor_3', all(X == [-13])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
270 run_from_atom('⌋', '[_9,_5,_13]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
271 test('floor_4', all(X == [2])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
272 run_from_atom('⌋', ["test",2,3], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
273 test('floor_5', all(X == ["test"])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
274 run_from_atom('⌋', ["test","z"], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
275 test('floor_6', all(X == [123])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
276 run_from_atom('⌋₁', 123, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
277 test('floor_7', all(X == [123])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
278 run_from_atom('⌋₁', 123.45, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
279 test('floor_8', all(X == [-124])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
280 run_from_atom('⌋₁', '_123.45', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
281 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
282 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
283 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
284 BRACHYLOG_RANGE_ASCENDING |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
285 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
286 test('range_ascending_1', all(X == [[0]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
287 run_from_atom('⟦', 0, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
288 test('range_ascending_2', all(X == [[0,1,2,3,4,5]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
289 run_from_atom('⟦', 5, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
290 test('range_ascending_3', all(X == [[-5,-4,-3,-2,-1,0]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
291 run_from_atom('⟦', '_5', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
292 test('range_ascending_4', all(X == [[1,2,3,4,5]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
293 run_from_atom('⟦₁', 5, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
294 test('range_ascending_5', all(X == [[9,10,11,12,13]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
295 run_from_atom('⟦₂', [9,13], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
296 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
297 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
298 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
299 BRACHYLOG_RANGE_DESCENDING |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
300 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
301 test('range_descending_1', all(X == [[0]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
302 run_from_atom('⟧', 0, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
303 test('range_descending_2', all(X == [[5,4,3,2,1,0]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
304 run_from_atom('⟧', 5, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
305 test('range_descending_3', all(X == [[0,-1,-2,-3,-4,-5]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
306 run_from_atom('⟧', '_5', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
307 test('range_descending_4', all(X == [[5,4,3,2,1]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
308 run_from_atom('⟧₁', 5, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
309 test('range_descending_5', all(X == [[13,12,11,10,9]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
310 run_from_atom('⟧₂', [9,13], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
311 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
312 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
313 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
314 BRACHYLOG_NATURAL_INTEGER |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
315 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
316 test('natural_integer_1', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
317 run_from_atom('ℕ', 0, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
318 test('natural_integer_2', all(X == [42])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
319 run_from_atom('ℕ', 42, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
320 test('natural_integer_3', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
321 run_from_atom('ℕ', "test", _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
322 test('natural_integer_4', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
323 run_from_atom('ℕ', '_3', _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
324 test('natural_integer_5', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
325 run_from_atom('ℕ', [1,2], _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
326 test('natural_integer_6', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
327 run_from_atom('ℕ', 4.2, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
328 test('natural_integer_7', all(X == [42])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
329 run_from_atom('ℕ₄₂', 42, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
330 test('natural_integer_8', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
331 run_from_atom('ℕ₄₂', 41, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
332 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
333 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
334 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
335 BRACHYLOG_INTEGER |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
336 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
337 test('integer_1', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
338 run_from_atom('ℤ', 0, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
339 test('integer_2', all(X == [42])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
340 run_from_atom('ℤ', 42, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
341 test('integer_3', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
342 run_from_atom('ℤ', "test", _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
343 test('integer_4', all(X == [-3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
344 run_from_atom('ℤ', '_3', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
345 test('integer_5', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
346 run_from_atom('ℤ', [1,2], _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
347 test('integer_6', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
348 run_from_atom('ℤ', 4.2, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
349 test('integer_7', all(X == [-42])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
350 run_from_atom('ℤ₄₂', '_42', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
351 test('integer_8', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
352 run_from_atom('ℤ₄₂', '_41', _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
353 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
354 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
355 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
356 BRACHYLOG_FLOAT |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
357 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
358 test('float_1', all(X == [4.2])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
359 run_from_atom('ℝ', 4.2, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
360 test('float_2', all(X == [0.0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
361 run_from_atom('ℝ', 0.0, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
362 test('float_3', all(X == [-4.2])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
363 run_from_atom('ℝ', '_4.2', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
364 test('float_4', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
365 run_from_atom('ℝ', 0, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
366 test('float_5', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
367 run_from_atom('ℝ', 42, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
368 test('float_6', all(X == [42])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
369 run_from_atom('ℝ₁', 42, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
370 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
371 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
372 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
373 BRACHYLOG_EMPTY |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
374 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
375 test('empty_1', nondet) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
376 run_from_atom('∅', [], _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
377 test('empty_2', nondet) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
378 run_from_atom('∅', 0, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
379 test('empty_3', nondet) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
380 run_from_atom('∅', "", _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
381 test('empty_4', nondet) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
382 run_from_atom('∅', 0.0, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
383 test('empty_5', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
384 run_from_atom('∅', [1], _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
385 test('empty_6', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
386 run_from_atom('∅', 1, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
387 test('empty_7', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
388 run_from_atom('∅', "a", _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
389 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
390 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
391 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
392 BRACHYLOG_DIFFERENT |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
393 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
394 test('different_1', all(X == [12345])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
395 run_from_atom('≠', 12345, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
396 test('different_1', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
397 run_from_atom('≠', 12344, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
398 test('different_1', all(X == [[1,2,3]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
399 run_from_atom('≠', [1,2,3], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
400 test('different_1', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
401 run_from_atom('≠', [1,2,1], _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
402 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
403 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
404 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
405 BRACHYLOG_INTEGER_DIVISION |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
406 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
407 test('integer_division_1', all(X == [3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
408 run_from_atom('÷', [6,2], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
409 test('integer_division_2', all(X == [3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
410 run_from_atom('÷', [7,2], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
411 test('integer_division_3', all(X == [-3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
412 run_from_atom('÷', '[_6,2]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
413 test('integer_division_1', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
414 run_from_atom('÷', '[6,0]', _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
415 test('integer_division_1', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
416 run_from_atom('÷', '[0,_42]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
417 test('integer_division_1', all(X == [3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
418 run_from_atom('÷', [6.2,2], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
419 test('integer_division_1', all(X == [2])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
420 run_from_atom('÷₃', 6, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
421 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
422 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
423 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
424 BRACHYLOG_MULTIPLY |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
425 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
426 test('multiply_1', all(X == [1])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
427 run_from_atom('×', [], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
428 test('multiply_2', all(X == [12])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
429 run_from_atom('×', [6,2], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
430 test('multiply_3', all(X == [12])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
431 run_from_atom('×', [2,6], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
432 test('multiply_4', all(X == [-12])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
433 run_from_atom('×', '[_6,2]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
434 test('multiply_5', all(X == [24])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
435 run_from_atom('×', [2,3,4], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
436 test('multiply_6', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
437 run_from_atom('×', '[0,_42]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
438 test('multiply_7', all(X == [12.4])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
439 run_from_atom('×', [6.2,2], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
440 test('multiply_8', all(X == [18])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
441 run_from_atom('×₃', 6, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
442 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
443 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
444 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
445 BRACHYLOG_MODULO |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
446 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
447 test('modulo_1', all(X == [1])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
448 run_from_atom('%', [4,3], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
449 test('modulo_2', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
450 run_from_atom('%', [4,2], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
451 test('modulo_3', all(X == [4])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
452 run_from_atom('%', [42,19], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
453 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
454 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
455 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
456 BRACHYLOG_EXP |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
457 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
458 test('exp_1', all(X == [22026.465794806718])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
459 run_from_atom('*', 10, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
460 test('exp_2', all(X == [2.302585092994046])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
461 run_from_atom('*₁', 10, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
462 test('exp_3', all(X == [-0.8390715290764524])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
463 run_from_atom('*₂', 10, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
464 test('exp_4', all(X == [-0.5440211108893698])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
465 run_from_atom('*₃', 10, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
466 test('exp_5', all(X == [0.6483608274590866])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
467 run_from_atom('*₄', 10, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
468 test('exp_6', all(X == [1.0471975511965979])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
469 run_from_atom('*₅', 0.5, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
470 test('exp_7', all(X == [0.5235987755982989])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
471 run_from_atom('*₆', 0.5, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
472 test('exp_8', all(X == [1.4711276743037347])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
473 run_from_atom('*₇', 10, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
474 test('exp_9', all(X == [11013.232920103323])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
475 run_from_atom('*₈', 10, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
476 test('exp_10', all(X == [11013.232874703393])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
477 run_from_atom('*₉', 10, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
478 test('exp_11', all(X == [0.9999999958776927])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
479 run_from_atom('*₁₀', 10, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
480 test('exp_12', all(X == [2.993222846126381])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
481 run_from_atom('*₁₁', 10, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
482 test('exp_13', all(X == [2.99822295029797])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
483 run_from_atom('*₁₂', 10, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
484 test('exp_14', all(X == [0.5493061443340549])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
485 run_from_atom('*₁₃', 0.5, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
486 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
487 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
488 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
489 BRACHYLOG_PLUS |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
490 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
491 test('plus_1', all(X == [3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
492 run_from_atom('+', [1,2], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
493 test('plus_2', all(X == [2])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
494 run_from_atom('+', '[_3,5]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
495 test('plus_3', all(X == [-5])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
496 run_from_atom('+', '[_3,_2]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
497 test('plus_4', all(X == [21])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
498 run_from_atom('+', [1,2,3,4,5,6], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
499 test('plus_5', all(X == [4.6])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
500 run_from_atom('+', [1.2,3.4], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
501 test('plus_6', all(X == [13])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
502 run_from_atom('+', [13,0,0,0,0], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
503 test('plus_7', all(X == [67])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
504 run_from_atom('+₄₂', 25, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
505 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
506 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
507 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
508 BRACHYLOG_MINUS |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
509 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
510 test('minus_1', all(X == [-1])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
511 run_from_atom('-', [1,2], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
512 test('minus_2', all(X == [-8])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
513 run_from_atom('-', '[_3,5]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
514 test('minus_3', all(X == [2])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
515 run_from_atom('-', '[_1,_3]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
516 test('minus_4', all(X == [-3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
517 run_from_atom('-', [1,2,3,4,5,6], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
518 test('minus_5', all(X == [-2.2])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
519 run_from_atom('-', [1.2,3.4], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
520 test('minus_6', all(X == [13])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
521 run_from_atom('-', [13,0,0,0,0], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
522 test('minus_7', all(X == [-17])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
523 run_from_atom('-₄₂', 25, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
524 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
525 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
526 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
527 BRACHYLOG_DIVIDE |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
528 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
529 test('divide_1', all(X == [0.5])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
530 run_from_atom('/', [1,2], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
531 test('divide_2', all(X == [3])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
532 run_from_atom('/', [6,2], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
533 test('divide_3', all(X == [-0.5])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
534 run_from_atom('/', '[1,_2]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
535 test('divide_4', all(X == [0.1111111111111111])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
536 run_from_atom('/₁', 9, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
537 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
538 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
539 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
540 BRACHYLOG_LESS |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
541 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
542 test('less_1', all(X == [2])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
543 run_from_atom('1<2', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
544 test('less_2', all(X == [2])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
545 run_from_atom('_1<2', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
546 test('less_3', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
547 run_from_atom('0<0', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
548 test('less_4', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
549 run_from_atom('13<13', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
550 test('less_5', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
551 run_from_atom('_42<_42', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
552 test('less_6', all(X == [[1,2,3]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
553 run_from_atom('[1,2,3]<₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
554 test('less_7', all(X == [[-1,0,1]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
555 run_from_atom('[_1,0,1]<₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
556 test('less_8', all(X == [[-42,-23,-16]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
557 run_from_atom('[_42,_23,_16]<₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
558 test('less_9', all(X == [[1,2,3]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
559 run_from_atom('[1,I,3]<₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
560 test('less_10', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
561 run_from_atom('2<1', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
562 test('less_11', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
563 run_from_atom('2<_1', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
564 test('less_12', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
565 run_from_atom('[1,3,2]<₁', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
566 test('less_13', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
567 run_from_atom('[1,I,_1]<₁', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
568 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
569 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
570 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
571 BRACHYLOG_EQUAL |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
572 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
573 test('equal_1', all(X == [1111])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
574 run_from_atom('=', 1111, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
575 test('equal_2', all(X == [[]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
576 run_from_atom('=', [], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
577 test('equal_3', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
578 run_from_atom('=', 0, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
579 test('equal_4', all(X == [[42,42,42,42]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
580 run_from_atom('=', '[X,Y,42,Z]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
581 test('equal_5', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
582 run_from_atom('=', [1,1,1,2,1], _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
583 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
584 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
585 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
586 BRACHYLOG_GREATER |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
587 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
588 test('greater_1', all(X == [1])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
589 run_from_atom('2>1', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
590 test('greater_2', all(X == [-1])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
591 run_from_atom('2>_1', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
592 test('greater_3', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
593 run_from_atom('0>0', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
594 test('greater_4', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
595 run_from_atom('13>13', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
596 test('greater_5', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
597 run_from_atom('_42>_42', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
598 test('greater_6', all(X == [[3,2,1]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
599 run_from_atom('[3,2,1]>₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
600 test('greater_7', all(X == [[1,0,-1]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
601 run_from_atom('[1,0,_1]>₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
602 test('greater_8', all(X == [[-16,-23,-42]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
603 run_from_atom('[_16,_23,_42]>₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
604 test('greater_9', all(X == [[3,2,1]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
605 run_from_atom('[3,I,1]>₁', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
606 test('greater_10', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
607 run_from_atom('1>2', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
608 test('greater_11', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
609 run_from_atom('_1>2', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
610 test('greater_12', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
611 run_from_atom('[1,3,2]>₁', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
612 test('greater_13', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
613 run_from_atom('[_1,I,1]>₁', _, _). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
614 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
615 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
616 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
617 BRACHYLOG_TRANSPOSE |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
618 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
619 test('transpose_1', all(X == [[[1,4,7],[2,5,8],[3,6,9]]])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
620 run_from_atom('\\', [[1,2,3],[4,5,6],[7,8,9]], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
621 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
622 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
623 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
624 BRACHYLOG_POWER |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
625 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
626 test('power_1', all(X == [8])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
627 run_from_atom('^', [2,3], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
628 test('power_2', all(X == [-8])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
629 run_from_atom('^', '[_2,3]', X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
630 test('power_3', all(X == [1])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
631 run_from_atom('^', [1,50], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
632 test('power_4', all(X == [0])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
633 run_from_atom('^', [0,42], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
634 test('power_5', all(X == [1])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
635 run_from_atom('^', [7,0], X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
636 test('power_6', all(X == [49])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
637 run_from_atom('^₂', 7, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
638 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
639 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
640 :- end_tests(predicates). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
641 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
642 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
643 % Useful templates |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
644 test('_', all(X == [])) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
645 run_from_atom('', _, X). |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
646 |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
647 test('_', fail) :- |
|
318de151d0ec
<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()
HackEso <hackeso@esolangs.org>
parents:
diff
changeset
|
648 run_from_atom('', _, _). |