/** * Modern Albufeira Prolog Interpreter * * Warranty & Liability * To the extent permitted by applicable law and unless explicitly * otherwise agreed upon, XLOG Technologies AG makes no warranties * regarding the provided information. XLOG Technologies AG assumes * no liability that any problems might be solved with the information * provided by XLOG Technologies AG. * * Rights & License * All industrial property rights regarding the information - copyright * and patent rights in particular - are the sole property of XLOG * Technologies AG. If the company was not the originator of some * excerpts, XLOG Technologies AG has at least obtained the right to * reproduce, change and translate the information. * * Reproduction is restricted to the whole unaltered document. Reproduction * of the information is only allowed for non-commercial uses. Selling, * giving away or letting of the execution of the library is prohibited. * The library can be distributed as part of your applications and libraries * for execution provided this comment remains unchanged. * * Restrictions * Only to be distributed with programs that add significant and primary * functionality to the library. Not to be distributed with additional * software intended to replace any components of the library. * * Trademarks * Jekejeke is a registered trademark of XLOG Technologies AG. */ :- ensure_loaded('../../transpiler/cross/cross.p'). :- ensure_loaded('transpiler.p'). :- ensure_loaded('bundler.p'). % run run :- current_prolog_flag(base_url, X), absolute_file_name('../../', Y, [relative_to(X)]), set_prolog_flag(base_url, Y), sys_transpile_doge_core, sys_bundle_doge_core. /****************************************************************/ /* Transpile & Bundle JavaScript Core */ /****************************************************************/ % sys_transpile_doge_core sys_transpile_doge_core :- (dirty_path('transpiler/cross/trans.p', 'player/drawer/nova/bootload.mjs'); dirty_path('transpiler/cross/encode.p', 'player/drawer/nova/bootload.mjs'); dirty_path('transpiler/cross/cross.p', 'player/drawer/nova/bootload.mjs'); dirty_path('player/cross/transpiler.p', 'player/drawer/nova/bootload.mjs'); dirty_path('transpiler/drawer/loader.p', 'player/drawer/nova/bootload.mjs'); dirty_path('transpiler/drawer/core.p', 'player/drawer/nova/bootload.mjs'); dirty_path('transpiler/drawer/dynamic.p', 'player/drawer/nova/bootload.mjs'); dirty_path('transpiler/drawer/code.p', 'player/drawer/nova/streams.mjs'); dirty_path('transpiler/drawer/scanner.p', 'player/drawer/nova/streams.mjs'); dirty_path('transpiler/drawer/term.p', 'player/drawer/nova/streams.mjs')), !, transpile_begin('player/drawer/nova/bootload.mjs', [defer_meta(true)]), transpile_add('transpiler/cross/trans.p', 'player/drawer/nova/bootload.mjs', [defer_meta(true)]), transpile_add('transpiler/cross/encode.p', 'player/drawer/nova/bootload.mjs', [defer_meta(true)]), transpile_add('transpiler/drawer/loader.p', 'player/drawer/nova/bootload.mjs', [defer_meta(true)]), transpile_add('transpiler/drawer/core.p', 'player/drawer/nova/bootload.mjs', [defer_meta(true)]), transpile_add('transpiler/drawer/dynamic.p', 'player/drawer/nova/bootload.mjs', [defer_meta(true)]), transpile_end('player/drawer/nova/bootload.mjs', [defer_meta(true)]), copy_time('transpiler/cross/trans.p', 'player/drawer/nova/bootload.mjs'), copy_time('transpiler/cross/encode.p', 'player/drawer/nova/bootload.mjs', [update(true)]), copy_time('transpiler/cross/cross.p', 'player/drawer/nova/bootload.mjs', [update(true)]), copy_time('player/cross/transpiler.p', 'player/drawer/nova/bootload.mjs', [update(true)]), copy_time('transpiler/drawer/loader.p', 'player/drawer/nova/bootload.mjs', [update(true)]), copy_time('transpiler/drawer/core.p', 'player/drawer/nova/bootload.mjs', [update(true)]), copy_time('transpiler/drawer/dynamic.p', 'player/drawer/nova/bootload.mjs', [update(true)]), transpile_begin('player/drawer/nova/streams.mjs'), transpile_add('transpiler/drawer/code.p', 'player/drawer/nova/streams.mjs'), transpile_add('transpiler/drawer/scanner.p', 'player/drawer/nova/streams.mjs'), transpile_add('transpiler/drawer/term.p', 'player/drawer/nova/streams.mjs'), transpile_end('player/drawer/nova/streams.mjs'), copy_time('transpiler/drawer/code.p', 'player/drawer/nova/streams.mjs'), copy_time('transpiler/drawer/scanner.p', 'player/drawer/nova/streams.mjs', [update(true)]), copy_time('transpiler/drawer/term.p', 'player/drawer/nova/streams.mjs', [update(true)]). sys_transpile_doge_core. % sys_bundle_doge_core sys_bundle_doge_core :- (dirty_path('player/drawer/nova/store.mjs', 'player/canned/nova/core.mjs'); dirty_path('player/drawer/nova/machine.mjs', 'player/canned/nova/core.mjs'); dirty_path('player/drawer/nova/unicode.mjs', 'player/canned/nova/core.mjs'); dirty_path('player/drawer/nova/special.mjs', 'player/canned/nova/core.mjs'); dirty_path('player/drawer/nova/runtime.mjs', 'player/canned/nova/core.mjs'); dirty_path('player/drawer/nova/eval.mjs', 'player/canned/nova/core.mjs'); dirty_path('player/drawer/nova/theatre.mjs', 'player/canned/nova/core.mjs'); dirty_path('player/drawer/nova/bootload.mjs', 'player/canned/nova/core.mjs'); dirty_path('player/drawer/nova/streams.mjs', 'player/canned/nova/core.mjs'); dirty_path('player/drawer/nova/core.mjs', 'player/canned/nova/core.mjs')), !, bundle_begin('player/canned/nova/core.mjs'), bundle_add('player/drawer/nova/store.mjs', 'player/canned/nova/core.mjs'), bundle_add('player/drawer/nova/machine.mjs', 'player/canned/nova/core.mjs'), bundle_add('player/drawer/nova/unicode.mjs', 'player/canned/nova/core.mjs'), bundle_add('player/drawer/nova/special.mjs', 'player/canned/nova/core.mjs'), bundle_add('player/drawer/nova/runtime.mjs', 'player/canned/nova/core.mjs'), bundle_add('player/drawer/nova/eval.mjs', 'player/canned/nova/core.mjs'), bundle_add('player/drawer/nova/theatre.mjs', 'player/canned/nova/core.mjs'), bundle_add('player/drawer/nova/bootload.mjs', 'player/canned/nova/core.mjs'), bundle_add('player/drawer/nova/streams.mjs', 'player/canned/nova/core.mjs'), bundle_add('player/drawer/nova/core.mjs', 'player/canned/nova/core.mjs', [keep_export(true)]), copy_time('player/drawer/nova/store.mjs', 'player/canned/nova/core.mjs'), copy_time('player/drawer/nova/machine.mjs', 'player/canned/nova/core.mjs', [update(true)]), copy_time('player/drawer/nova/unicode.mjs', 'player/canned/nova/core.mjs', [update(true)]), copy_time('player/drawer/nova/special.mjs', 'player/canned/nova/core.mjs', [update(true)]), copy_time('player/drawer/nova/runtime.mjs', 'player/canned/nova/core.mjs', [update(true)]), copy_time('player/drawer/nova/eval.mjs', 'player/canned/nova/core.mjs', [update(true)]), copy_time('player/drawer/nova/theatre.mjs', 'player/canned/nova/core.mjs', [update(true)]), copy_time('player/drawer/nova/bootload.mjs', 'player/canned/nova/core.mjs', [update(true)]), copy_time('player/drawer/nova/streams.mjs', 'player/canned/nova/core.mjs', [update(true)]), copy_time('player/drawer/nova/core.mjs', 'player/canned/nova/core.mjs', [update(true)]). sys_bundle_doge_core. /*******************************************************************/ /* Transpile Begin */ /*******************************************************************/ /** * transpile_begin(B): * transpile_begin(B, O): * The predicate succeeds in writing an empty JavaScript file B. */ % transpile_begin(+Atom) transpile_begin(OutName) :- transpile_begin(OutName, []). % transpile_begin(+Atom, +List) transpile_begin(OutName, Opts) :- decode_transpile_opts(Opts, v(0,''), v(Flags,Doge)), copy_text('player/cross/header.mjs', OutName), setup_once_cleanup( open(OutName, append, OutStream), sys_transpile_prologue(OutStream, Flags, Doge), close(OutStream)). % sys_transpile_prologue(+Stream, +Integer, +Atom) sys_transpile_prologue(OutStream, Flags, Doge) :- (Flags /\ 2 =\= 0 -> cross_clear; true), (Flags /\ 1 =\= 0 -> write(OutStream, 'import {add, Clause, Goal, run, pred_link,\n'), write(OutStream, ' Cache, make_defined, Compound} from "'), write(OutStream, Doge), write(OutStream, '";\n'), write(OutStream, 'export function main() {\n') ; true). /*******************************************************************/ /* Transpile Add */ /*******************************************************************/ /** * transpile_add(A, B): * transpile_add(A, B, O): * The predicate succeeds in cross compiling the Prolog text file A * into the JavaScript file B. */ % transpile_add(+Atom, +Atom) transpile_add(InName, OutName) :- transpile_add(InName, OutName, []). % transpile_add(+Atom, +Atom, +List) transpile_add(InName, OutName, Opts) :- decode_transpile_opts(Opts, v(0,''), v(Flags,_)), retractall(cross_flags(_)), assertz(cross_flags(Flags)), setup_once_cleanup( open(OutName, append, OutStream), sys_transpile_loading(InName, OutStream), close(OutStream)). % sys_transpile_loading(+Atom, +Stream) sys_transpile_loading(InName, OutStream) :- setup_once_cleanup( cross_loading_begin(InName, LastPred), sys_transpile_file(InName, OutStream), cross_loading_end(LastPred)). % sys_transpile_file(+Atom, +Stream) sys_transpile_file(InName, OutStream) :- setup_once_cleanup( open(InName, read, InStream), sys_transpile_stream(InName, InStream, OutStream), close(InStream)). % sys_transpile_stream(+Atom, +Stream, +Stream) sys_transpile_stream(InName, InStream, OutStream) :- current_task(Task), setup_once_cleanup( asserta(sys_including(InName, Task, InStream)), sys_transpile_lines(InStream, OutStream), once(retract(sys_including(InName, Task, InStream)))). % sys_transpile_lines(+Stream, +Stream) sys_transpile_lines(InStream, OutStream) :- repeat, read_term(InStream, Term, [variable_names(Vars), singletons(Sings)]), (Term = end_of_file -> !; sys_multiton_keys(Vars, Sings, Keys), sys_multiton_check(Keys), sys_singleton_keys(Sings, Keys2), sys_singleton_check(Keys2), expand_term(Term, Term2), sys_transpile_clump(Term2, OutStream), fail). /****************************************************************/ /* Transpile Clump */ /****************************************************************/ % sys_transpile_clump(+Term, +Stream) sys_transpile_clump(T, OutStream) :- nonvar(T), T = [Term|Rest], !, sys_transpile_clump(Term, OutStream), sys_transpile_clump(Rest, OutStream). sys_transpile_clump(T, _) :- nonvar(T), T = [], !. sys_transpile_clump(T, OutStream) :- cross_style_static(T, Usage), sys_transpile_static([Usage|T], OutStream). % sys_transpile_static(+Term, +Stream) sys_transpile_static(T, OutStream) :- nonvar(T), T = [Clause|Rest], !, sys_transpile_static(Clause, OutStream), sys_transpile_static(Rest, OutStream). sys_transpile_static(T, _) :- nonvar(T), T = [], !. sys_transpile_static(T, OutStream) :- \+ \+ make_print_static(T, OutStream). /*******************************************************************/ /* Transpile End */ /*******************************************************************/ /** * transpile_end(B): * transpile_end(B, O): * The predicate succeeds adding an epilogue to the JavaScript file B. */ % transpile_end(+Atom) transpile_end(OutName) :- transpile_end(OutName, []). % transpile_end(+Atom, +List) transpile_end(OutName, Opts) :- decode_transpile_opts(Opts, v(0,''), v(Flags,_)), setup_once_cleanup( open(OutName, append, OutStream), sys_transpile_fini(OutStream, Flags), close(OutStream)). % sys_transpile_fini(+Stream, +Integer) sys_transpile_fini(OutStream, Flags) :- (Flags /\ 2 =\= 0 -> cross_defered(Term3), sys_transpile_static(Term3, OutStream); true), fail. sys_transpile_fini(_, _) :- true. /*******************************************************************/ /* Decode Transpile Options */ /*******************************************************************/ % decode_transpile_opts(+List, +Pair, -Pair) decode_transpile_opts(V, _, _) :- var(V), throw(error(instantiation_error,_)). decode_transpile_opts([X|L], I, O) :- !, decode_transpile_opt(X, I, H), decode_transpile_opts(L, H, O). decode_transpile_opts([], H, H) :- !. decode_transpile_opts(L, _, _) :- throw(error(type_error(list,L),_)). % decode_transpile_opt(+Option, +Pair, -Pair) decode_transpile_opt(V, _, _) :- var(V), throw(error(instantiation_error,_)). decode_transpile_opt(defer_meta(B), v(F,Y), v(G,Y)) :- !, sys_opt_boolean(B, 2, F, G). decode_transpile_opt(doge(A),v(X,_), v(X,A)) :- !. decode_transpile_opt(O, _, _) :- throw(error(type_error(transpile_option,O),_)). /*******************************************************************/ /* Initialization */ /*******************************************************************/ :- initialization(run).