/repo: ibin/brachylog/Brachylog-master/src/metapredicates.pl annotate

annotate ibin/brachylog/Brachylog-master/src/metapredicates.pl @ 11865:318de151d0ec draft

<b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall()

author	HackEso <hackeso@esolangs.org>
date	Tue, 16 Jul 2019 21:37:27 +0000
parents
children

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 :- module(metapredicates, [brachylog_meta_accumulate/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	18 brachylog_meta_bagof/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	19 brachylog_meta_count/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	20 brachylog_meta_declare/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	21 brachylog_meta_existence/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	22 brachylog_meta_find/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	23 brachylog_meta_groupby/6,
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_meta_head/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	25 brachylog_meta_iterate/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	26 brachylog_meta_leftfold/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	27 brachylog_meta_map/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	28 brachylog_meta_nonexistence/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	29 brachylog_meta_orderby/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	30 brachylog_meta_select/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	31 brachylog_meta_tail/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	32 brachylog_meta_unique/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	33 brachylog_meta_verify/6,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	34 brachylog_meta_zip/6
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	35 ]).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	36
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	37 :- use_module(library(clpfd)).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	38 :- use_module(predicates).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	39
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	40
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	41 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	42 BRACHYLOG_META_ACCUMULATE
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	43 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	44 brachylog_meta_accumulate(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	45 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	46 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	47 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	48 brachylog_meta_accumulate(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	49 brachylog_meta_accumulate(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	50 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	51 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	52 ; reverse(T, Arg)
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 brachylog_meta_accumulate(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
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_meta_accumulate(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	56 brachylog_meta_accumulate(GlobalVariables, 'integer':1, P, Sub, Input, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	57 brachylog_meta_accumulate(GlobalVariables, Sup, P, Sub, 'string':Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	58 brachylog_meta_accumulate(GlobalVariables, Sup, P, Sub, ['string':Input], Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	59 brachylog_meta_accumulate(GlobalVariables, Sup, P, Sub, 'integer':Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	60 brachylog_meta_accumulate(GlobalVariables, Sup, P, Sub, ['integer':Input], Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	61 brachylog_meta_accumulate(GlobalVariables, Sup, P, Sub, 'float':Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	62 brachylog_meta_accumulate(GlobalVariables, Sup, P, Sub, ['float':Input], Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	63 brachylog_meta_accumulate(_, 'integer':0, _P, _Sub, Input, Input).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	64 brachylog_meta_accumulate(GlobalVariables, 'integer':I, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	65 I #> 0,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	66 is_brachylog_list(Input),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	67 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	68 call(P, Sub, Input, E)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	69 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	70 call(P, GlobalVariables, Sub, Input, E)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	71 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	72 J #= 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	73 append(Input, [E], F),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	74 brachylog_meta_accumulate(GlobalVariables, 'integer':J, P, Sub, F, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	75
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	76
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	77 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	78 BRACHYLOG_META_BAGOF
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	79 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	80 brachylog_meta_bagof(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	81 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	82 ; Input = Arg
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 brachylog_meta_bagof(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	85 brachylog_meta_bagof(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	86 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	87 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	88 ; reverse(T, Arg)
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 brachylog_meta_bagof(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	91 brachylog_meta_bagof(_, 'integer':0, _, _, _, []).
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_meta_bagof(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	93 bagof(X,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	94 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	95 call(P, Sub, Input, X)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	96 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	97 call(P, GlobalVariables, Sub, Input, X)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	98 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	99 Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	100 brachylog_meta_bagof(GlobalVariables, 'integer':I, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	101 I #> 0,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	102 bagof(X, call_firstn(
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	103 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	104 call(P, Sub, Input, X)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	105 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	106 call(P, GlobalVariables, Sub, Input, X)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	107 ), I),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	108 Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	109
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	110
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	111 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	112 BRACHYLOG_META_COUNT
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	113 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	114 brachylog_meta_count(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	115 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	116 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	117 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	118 brachylog_meta_count(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	119 brachylog_meta_count(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	120 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	121 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	122 ; reverse(T, Arg)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	123 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	124 brachylog_meta_count(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	125 brachylog_meta_count(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	126 brachylog_meta_count(GlobalVariables, 'integer':0, P, Sub, Input, Output).
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_meta_count(GlobalVariables, 'integer':0, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	128 brachylog_meta_find(GlobalVariables, 'default', P, Sub, Input, E),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	129 brachylog_length('default', E, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	130 brachylog_meta_count(GlobalVariables, 'integer':1, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	131 brachylog_meta_unique(GlobalVariables, 'default', P, Sub, Input, E),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	132 brachylog_length('default', E, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	133
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 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	136 BRACHYLOG_META_DECLARE
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	137 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	138 brachylog_meta_declare(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	139 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	140 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	141 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	142 brachylog_meta_declare(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	143 brachylog_meta_declare(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	144 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	145 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	146 ; reverse(T, Arg)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	147 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	148 brachylog_meta_declare(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	149 brachylog_meta_declare(GlobalVariables, 'default', P, Sub, [H,T], T) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	150 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	151 call(P, Sub, H, T)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	152 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	153 call(P, GlobalVariables, Sub, H, T)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	154 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	155 brachylog_meta_declare(GlobalVariables, 'integer':0, P, Sub, [H,T], [H,T]) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	156 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	157 call(P, Sub, H, T)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	158 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	159 call(P, GlobalVariables, Sub, H, T)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	160 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	161 brachylog_meta_declare(GlobalVariables, 'integer':1, P, Sub, [H,T], H) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	162 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	163 call(P, Sub, T, H)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	164 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	165 call(P, GlobalVariables, Sub, T, H)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	166 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	167 brachylog_meta_declare(GlobalVariables, 'integer':2, P, Sub, [H,T], [H,T]) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	168 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	169 call(P, Sub, T, H)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	170 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	171 call(P, GlobalVariables, Sub, T, H)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	172 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	173
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 BRACHYLOG_META_EXISTENCE
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	177 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	178 brachylog_meta_existence(GlobalVariables, 'first', P, Sub, [I\|Input], Arg) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	179 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	180 ; Input = Arg
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 brachylog_meta_existence(GlobalVariables, P, Sub, Arg, I).
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_meta_existence(GlobalVariables, 'last', P, Sub, Input, Arg) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	184 reverse(Input, [I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	185 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	186 ; reverse(T, Arg)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	187 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	188 brachylog_meta_existence(GlobalVariables, P, Sub, Arg, I).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	189 brachylog_meta_existence(GlobalVariables, 'integer':I, P, Sub, Input, Input) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	190 dif(I, 'default'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	191 brachylog_meta_existence(GlobalVariables, P, Sub, Input, 'integer':I).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	192 brachylog_meta_existence(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	193 brachylog_meta_existence(GlobalVariables, P, Sub, Input, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	194
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	195 brachylog_meta_existence(GlobalVariables, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	196 brachylog_in('default', Input, E),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	197 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	198 call(P, Sub, E, Output)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	199 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	200 call(P, GlobalVariables, Sub, E, Output)
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
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 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	205 BRACHYLOG_META_FIND
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	206
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	207 Credits to @false for call_firstf/2 and call_nth/2
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	208 http://stackoverflow.com/a/20866206/2554145
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	209 http://stackoverflow.com/a/11400256/2554145
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	210 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	211 brachylog_meta_find(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	212 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	213 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	214 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	215 brachylog_meta_find(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	216 brachylog_meta_find(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	217 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	218 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	219 ; reverse(T, Arg)
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_meta_find(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	222 brachylog_meta_find(_, 'integer':0, _, _, _, []).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	223 brachylog_meta_find(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	224 findall(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 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	226 call(P, Sub, Input, 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 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	228 call(P, GlobalVariables, Sub, Input, 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 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	230 Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	231 brachylog_meta_find(GlobalVariables, 'integer':I, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	232 I #> 0,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	233 findall(X, call_firstn(
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	234 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	235 call(P, Sub, Input, X)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	236 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	237 call(P, GlobalVariables, Sub, Input, X)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	238 ), I),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	239 Output).
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 call_firstn(Goal_0, N) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	242 N + N mod 1 >= 0, % ensures that N >=0 and N is an integer
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	243 call_nth(Goal_0, Nth),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	244 ( Nth == N -> ! ; true ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	245
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	246 call_nth(Goal_0, C) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	247 State = count(0, _),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	248 Goal_0,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	249 arg(1, State, C1),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	250 C2 is C1+1,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	251 nb_setarg(1, State, C2),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	252 C = C2.
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	253
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	254
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	255 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	256 BRACHYLOG_META_GROUPBY
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	257 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	258 brachylog_meta_groupby(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	259 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	260 ; Input = Arg
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 brachylog_meta_groupby(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
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_meta_groupby(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	264 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	265 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	266 ; reverse(T, Arg)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	267 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	268 brachylog_meta_groupby(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	269 brachylog_meta_groupby(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	270 ( is_brachylog_list(Input) -> FixedInput = Input
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	271 ; brachylog_elements('default', Input, FixedInput)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	272 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	273 brachylog_meta_map(GlobalVariables, 'default', P, Sub, FixedInput, L),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	274 brachylog_zip('default', [L,Input], L2),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	275 brachylog_meta_groupby_group(L2, L3),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	276 maplist(brachylog_meta_groupby_tail, L3, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	277
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	278 brachylog_meta_groupby_group(L, Gs) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	279 brachylog_meta_groupby_group(L, [], Gs).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	280
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	281 brachylog_meta_groupby_group([], Gs, Gs).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	282 brachylog_meta_groupby_group([[G,H]\|T], TempGs, Gs) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	283 ( member(G:L, TempGs) ->
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	284 reverse(L, RL),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	285 reverse([H\|RL], L2),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	286 select(G:L, TempGs, G:L2, TempGs2)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	287 ; append(TempGs, [G:[H]], TempGs2)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	288 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	289 brachylog_meta_groupby_group(T, TempGs2, Gs).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	290
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	291 brachylog_meta_groupby_tail(_:T, T).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	292
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	293
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	294 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	295 BRACHYLOG_META_HEAD
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 brachylog_meta_head(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	298 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	299 ; Input = Arg
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 brachylog_meta_head(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	302 brachylog_meta_head(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	303 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	304 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	305 ; reverse(T, Arg)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	306 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	307 brachylog_meta_head(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	308 brachylog_meta_head(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	309 brachylog_meta_head(GlobalVariables, 'integer':1, P, Sub, Input, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	310 brachylog_meta_head(_, 'integer':0, _, _, Input, Input).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	311 brachylog_meta_head(GlobalVariables, 'integer':I, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	312 I #> 0,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	313 brachylog_head('integer':I, Input, Heads),
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_behead('integer':I, Input, Tails),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	315 brachylog_meta_map(GlobalVariables, 'default', P, Sub, Heads, NewHeads),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	316 brachylog_concatenate('default', [NewHeads,Tails], Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	317
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	318
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	319 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	320 BRACHYLOG_META_ITERATE
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	321 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	322 brachylog_meta_iterate(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	323 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	324 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	325 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	326 brachylog_meta_iterate(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	327 brachylog_meta_iterate(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	328 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	329 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	330 ; reverse(T, Arg)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	331 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	332 brachylog_meta_iterate(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	333 brachylog_meta_iterate(_, 'integer':0, _, _, Input, Input).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	334 brachylog_meta_iterate(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	335 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	336 brachylog_meta_iterate(GlobalVariables, 'integer':I, P, Sub, Input, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	337 brachylog_meta_iterate(GlobalVariables, 'integer':1, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	338 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	339 call(P, Sub, Input, Output)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	340 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	341 call(P, GlobalVariables, Sub, Input, Output)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	342 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	343 brachylog_meta_iterate(GlobalVariables, 'integer':I, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	344 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	345 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	346 call(P, Sub, Input, TOutput)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	347 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	348 call(P, GlobalVariables, Sub, Input, TOutput)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	349 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	350 J #= 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	351 brachylog_meta_iterate(GlobalVariables, 'integer':J, P, Sub, TOutput, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	352
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 BRACHYLOG_META_LEFTFOLD
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	356 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	357 brachylog_meta_leftfold(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	358 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	359 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	360 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	361 brachylog_meta_leftfold(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	362 brachylog_meta_leftfold(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	363 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	364 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	365 ; reverse(T, Arg)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	366 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	367 brachylog_meta_leftfold(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	368 brachylog_meta_leftfold(GlobalVariables, 'default', P, Sub, 'string':S, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	369 brachylog_elements('default', 'string':S, E),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	370 brachylog_meta_leftfold(GlobalVariables, 'default', P, Sub, E, O),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	371 ( brachylog_concatenate('default', O, X),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	372 X = 'string':_ ->
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	373 Output = X
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	374 ; Output = O
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	375 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	376 brachylog_meta_leftfold(GlobalVariables, 'default', P, Sub, 'integer':Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	377 brachylog_elements('default', 'integer':Input, E),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	378 brachylog_meta_leftfold(GlobalVariables, 'default', P, Sub, E, O),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	379 ( brachylog_concatenate('default', O, X),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	380 X = 'integer':_ ->
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	381 Output = X
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	382 ; Output = O
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	383 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	384 brachylog_meta_leftfold(_, 'default', _P, _Sub, [], []).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	385 brachylog_meta_leftfold(_, 'default', _P, _Sub, [X], [X]).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	386 brachylog_meta_leftfold(GlobalVariables, 'default', P, Sub, [H,I\|T], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	387 brachylog_meta_leftfold_(GlobalVariables, P, Sub, [I\|T], H, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	388
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	389 brachylog_meta_leftfold_(_, _P, _Sub, [], Output, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	390 brachylog_meta_leftfold_(GlobalVariables, P, Sub, [H\|T], A, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	391 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	392 call(P, Sub, [A,H], E)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	393 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	394 call(P, GlobalVariables, Sub, [A,H], E)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	395 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	396 brachylog_meta_leftfold_(GlobalVariables, P, Sub, T, E, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	397
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	398
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	399 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	400 BRACHYLOG_META_MAP
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	401 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	402 brachylog_meta_map(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	403 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	404 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	405 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	406 brachylog_meta_map(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	407 brachylog_meta_map(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	408 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	409 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	410 ; reverse(T, Arg)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	411 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	412 brachylog_meta_map(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	413 brachylog_meta_map(GlobalVariables, 'integer':0, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	414 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	415 call(P, Sub, Input, Output)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	416 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	417 call(P, GlobalVariables, Sub, Input, Output)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	418 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	419 brachylog_meta_map(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	420 brachylog_meta_map(GlobalVariables, 'integer':1, P, Sub, Input, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	421 brachylog_meta_map(GlobalVariables, 'integer':I, P, Sub, 'string':S, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	422 brachylog_elements('default', 'string':S, E),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	423 brachylog_meta_map(GlobalVariables, 'integer':I, P, Sub, E, O),
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_concatenate('default', O, X),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	425 X = 'string':_ ->
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	426 Output = X
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	427 ; Output = O
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	428 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	429 brachylog_meta_map(GlobalVariables, 'integer':I, P, Sub, 'integer':Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	430 brachylog_elements('default', 'integer':Input, E),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	431 brachylog_meta_map(GlobalVariables, 'integer':I, P, Sub, E, O),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	432 ( brachylog_concatenate('default', O, X),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	433 X = 'integer':_ ->
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	434 Output = X
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	435 ; Output = O
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	436 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	437 brachylog_meta_map(GlobalVariables, 'integer':1, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	438 ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	439 Pred =.. [P, Sub]
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	440 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	441 Pred =.. [P, GlobalVariables, Sub]
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 is_brachylog_list(Input),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	444 maplist(Pred, Input, Output).
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_meta_map(GlobalVariables, 'integer':I, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	446 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	447 J #= 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	448 is_brachylog_list(Input),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	449 maplist(brachylog_meta_map(GlobalVariables, 'integer':J, P, Sub), Input, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	450
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	451
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	452 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	453 BRACHYLOG_META_NONEXISTENCE
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 brachylog_meta_nonexistence(GlobalVariables, 'first', P, Sub, [I\|Input], Arg) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	456 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	457 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	458 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	459 brachylog_meta_nonexistence(GlobalVariables, P, Sub, Arg, I).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	460 brachylog_meta_nonexistence(GlobalVariables, 'last', P, Sub, Input, Arg) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	461 reverse(Input, [I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	462 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	463 ; reverse(T, Arg)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	464 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	465 brachylog_meta_nonexistence(GlobalVariables, P, Sub, Arg, I).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	466 brachylog_meta_nonexistence(GlobalVariables, 'integer':I, P, Sub, Input, Input) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	467 dif(I, 'default'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	468 brachylog_meta_nonexistence(GlobalVariables, P, Sub, Input, 'integer':I).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	469 brachylog_meta_nonexistence(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	470 brachylog_meta_nonexistence(GlobalVariables, P, Sub, Input, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	471
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	472 brachylog_meta_nonexistence(GlobalVariables, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	473 brachylog_meta_map(GlobalVariables, 'default', P, Sub, Input, T),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	474 brachylog_zip('default', [T,[Output]], Z),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	475 brachylog_meta_map(GlobalVariables, 'default', brachylog_different, 'default', Z, _).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	476
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	477
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	478 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	479 BRACHYLOG_META_ORDERBY
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	480 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	481 brachylog_meta_orderby(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	482 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	483 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	484 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	485 brachylog_meta_orderby(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	486 brachylog_meta_orderby(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	487 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	488 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	489 ; reverse(T, Arg)
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 brachylog_meta_orderby(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	492 brachylog_meta_orderby(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	493 brachylog_meta_orderby(GlobalVariables, 'integer':0, P, Sub, Input, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	494 brachylog_meta_orderby(GlobalVariables, 'integer':0, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	495 ( is_brachylog_list(Input) -> FixedInput = Input
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	496 ; brachylog_elements('default', Input, FixedInput)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	497 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	498 brachylog_meta_map(GlobalVariables, 'default', P, Sub, FixedInput, L),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	499 brachylog_zip('default', [L,Input], L2),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	500 brachylog_order(integer:0, L2, SL2),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	501 ( SL2 = [] ->
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	502 Output = []
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	503 ; brachylog_zip('default', SL2, [_,Output])
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	504 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	505 brachylog_meta_orderby(GlobalVariables, 'integer':1, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	506 ( is_brachylog_list(Input) -> FixedInput = Input
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	507 ; brachylog_elements('default', Input, FixedInput)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	508 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	509 brachylog_meta_map(GlobalVariables, 'default', P, Sub, FixedInput, L),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	510 brachylog_zip('default', [L,Input], L2),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	511 brachylog_order(integer:1, L2, SL2),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	512 ( SL2 = [] ->
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	513 Output = []
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	514 ; brachylog_zip('default', SL2, [_,Output])
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	515 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	516 brachylog_meta_orderby(GlobalVariables, 'integer':2, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	517 ( is_brachylog_list(Input) -> FixedInput = Input
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	518 ; brachylog_elements('default', Input, FixedInput)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	519 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	520 brachylog_meta_map(GlobalVariables, 'default', P, Sub, FixedInput, L),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	521 brachylog_order(integer:0, L, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	522 brachylog_meta_orderby(GlobalVariables, 'integer':3, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	523 ( is_brachylog_list(Input) -> FixedInput = Input
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	524 ; brachylog_elements('default', Input, FixedInput)
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 brachylog_meta_map(GlobalVariables, 'default', P, Sub, FixedInput, L),
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_order(integer:1, L, Output).
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
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	530 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	531 BRACHYLOG_META_SELECT
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	532 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	533 brachylog_meta_select(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	534 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	535 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	536 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	537 brachylog_meta_select(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	538 brachylog_meta_select(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	539 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	540 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	541 ; reverse(T, Arg)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	542 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	543 brachylog_meta_select(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	544 brachylog_meta_select(GlobalVariables, 'default', P, Sub, 'string':S, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	545 brachylog_elements('default', 'string':S, E),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	546 brachylog_meta_select(GlobalVariables, 'default', P, Sub, E, O),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	547 ( brachylog_concatenate('default', O, X),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	548 X = 'string':_ ->
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	549 Output = X
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	550 ; Output = O
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	551 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	552 brachylog_meta_select(GlobalVariables, 'default', P, Sub, 'integer':S, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	553 brachylog_elements('default', 'integer':S, E),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	554 brachylog_meta_select(GlobalVariables, 'default', P, Sub, E, O),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	555 ( brachylog_concatenate('default', O, 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 X = 'integer':_ ->
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	557 Output = 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 ; Output = O
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	559 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	560 brachylog_meta_select(_, 'default', _, _, [], []).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	561 brachylog_meta_select(GlobalVariables, 'default', P, Sub, [H\|T], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	562 ( ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	563 call(P, Sub, H, H2)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	564 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	565 call(P, GlobalVariables, Sub, H, H2)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	566 )
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	567 *-> Output = [H2\|T2]
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	568 ; Output = T2
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 brachylog_meta_select(GlobalVariables, 'default', P, Sub, T, T2).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	571
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 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	574 BRACHYLOG_META_TAIL
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	575 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	576 brachylog_meta_tail(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	577 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	578 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	579 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	580 brachylog_meta_tail(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	581 brachylog_meta_tail(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	582 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	583 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	584 ; reverse(T, Arg)
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_meta_tail(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	587 brachylog_meta_tail(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	588 brachylog_meta_tail(GlobalVariables, 'integer':1, P, Sub, Input, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	589 brachylog_meta_tail(_, 'integer':0, _, _, Input, Input).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	590 brachylog_meta_tail(GlobalVariables, 'integer':I, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	591 I #> 0,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	592 brachylog_tail('integer':I, Input, Tails),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	593 brachylog_knife('integer':I, Input, Heads),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	594 brachylog_meta_map(GlobalVariables, 'default', P, Sub, Tails, NewTails),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	595 brachylog_concatenate('default', [Heads,NewTails], Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	596
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	597
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	598 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	599 BRACHYLOG_META_UNIQUE
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	600 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	601 brachylog_meta_unique(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	602 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	603 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	604 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	605 brachylog_meta_unique(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	606 brachylog_meta_unique(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	607 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	608 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	609 ; reverse(T, Arg)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	610 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	611 brachylog_meta_unique(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	612 brachylog_meta_unique(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	613 brachylog_meta_unique_(GlobalVariables, 1, -1, P, Sub, Input, [], Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	614 brachylog_meta_unique(_, 'integer':0, _, _, _, []).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	615 brachylog_meta_unique(GlobalVariables, 'integer':I, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	616 brachylog_meta_unique_(GlobalVariables, 1, I, P, Sub, Input, [], Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	617
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	618 brachylog_meta_unique_(_, _, 0, _, _, _, ROutput, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	619 reverse(ROutput, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	620 brachylog_meta_unique_(GlobalVariables, Nth, J, P, Sub, Input, A, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	621 J #\= 0,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	622 ( call_nth( ( GlobalVariables = 'ignore',
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	623 call(P, Sub, Input, X)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	624 ; dif(GlobalVariables, 'ignore'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	625 call(P, GlobalVariables, Sub, Input, X)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	626 ), Nth) ->
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	627 ( \+ member(X, A) ->
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	628 M #= Nth + 1,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	629 K #= J - 1,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	630 brachylog_meta_unique_(GlobalVariables, M, K, P, Sub, Input, [X\|A], Output)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	631 ; M #= Nth + 1,
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	632 brachylog_meta_unique_(GlobalVariables, M, J, P, Sub, Input, A, Output)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	633 )
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	634 ; reverse(A, Output)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	635 ).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	636
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	637
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 BRACHYLOG_META_VERIFY
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	640 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	641 brachylog_meta_verify(GlobalVariables, 'first', P, Sub, [I\|Input], Arg) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	642 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	643 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	644 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	645 brachylog_meta_verify(GlobalVariables, P, Sub, Arg, I).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	646 brachylog_meta_verify(GlobalVariables, 'last', P, Sub, Input, Arg) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	647 reverse(Input, [I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	648 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	649 ; reverse(T, Arg)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	650 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	651 brachylog_meta_verify(GlobalVariables, P, Sub, Arg, I).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	652 brachylog_meta_verify(GlobalVariables, 'integer':I, P, Sub, Input, Input) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	653 dif(I, 'default'),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	654 brachylog_meta_verify(GlobalVariables, P, Sub, Input, 'integer':I).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	655 brachylog_meta_verify(GlobalVariables, 'default', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	656 brachylog_meta_verify(GlobalVariables, P, Sub, Input, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	657
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	658 brachylog_meta_verify(GlobalVariables, P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	659 brachylog_length('default', Input, L),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	660 brachylog_length('default', T, L),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	661 brachylog_equal('default', T, _),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	662 brachylog_head('default', T, Output),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	663 brachylog_meta_map(GlobalVariables, 'default', P, Sub, Input, T).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	664
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	665 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	666 BRACHYLOG_META_ZIP
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	667 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	668 brachylog_meta_zip(GlobalVariables, 'first', P, Sub, ['integer':I\|Input], Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	669 ( Input = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	670 ; Input = Arg
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	671 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	672 brachylog_meta_zip(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	673 brachylog_meta_zip(GlobalVariables, 'last', P, Sub, Input, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	674 reverse(Input, ['integer':I\|T]),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	675 ( T = [Arg] -> true
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	676 ; reverse(T, Arg)
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	677 ),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	678 brachylog_meta_zip(GlobalVariables, 'integer':I, P, Sub, Arg, Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	679 brachylog_meta_zip(GlobalVariables, 'default', P, Sub, Arg, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	680 brachylog_meta_map(GlobalVariables, 'default', P, Sub, Arg, O),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	681 brachylog_zip('default', [Arg,O], Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	682 brachylog_meta_zip(GlobalVariables, 'integer':0, P, Sub, Arg, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	683 brachylog_meta_find(GlobalVariables, 'default', P, Sub, Arg, O),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	684 brachylog_zip('default', [Arg,O], Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	685 brachylog_meta_zip(GlobalVariables, 'integer':1, P, Sub, Arg, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	686 brachylog_meta_map(GlobalVariables, 'default', P, Sub, Arg, O),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	687 brachylog_zip('default', [O,Arg], Output).
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	688 brachylog_meta_zip(GlobalVariables, 'integer':2, P, Sub, Arg, Output) :-
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	689 brachylog_meta_find(GlobalVariables, 'default', P, Sub, Arg, O),
318de151d0ec <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() HackEso <hackeso@esolangs.org> parents: diff changeset	690 brachylog_zip('default', [O,Arg], Output).

Mercurial > repo

annotate ibin/brachylog/Brachylog-master/src/metapredicates.pl @ 11865:318de151d0ec draft