'),!.
correct_html_len(S,O):- atomic_list_concat(L,'\n',S),maplist(correct_html_len1,L,LL),!,atomic_list_concat(LL,'\n',O).
max_html_width(120).
find_and_ofset('',1).
find_and_ofset('/>',0).
find_and_ofset(' ',0).
find_place_to_split1(S,Before):-
max_html_width(W120), W110 is W120-10,
find_and_ofset(Split,Offset0),
(Offset0 == len, atom_length(Split,Offset) ; Offset = Offset0),
sub_atom(S,Before0,_,_,Split),
Before is Before0+Offset,
Before > 50, Before < W110,!.
find_place_to_split1(S,Before):-
max_html_width(W120),
member(Split,['','>',')',' ','/*',' ']),
sub_atom(S,Before,_,_,Split),
Before > 50, Before < W120,
sub_atom(S,0,Before,_,Left),
\+ atom_contains(Left,' setup_call_cleanup(bfly_out, wotso(Goal), bfly_in) ; call(Goal).
:- meta_predicate(bfly_out_in_old(0)).
bfly_out_in_old(Goal):- inside_bfly_html_esc -> setup_call_cleanup(bfly_out(old), wotso(Goal), bfly_in(old)) ; call(Goal).
:- meta_predicate(bfly_in_out_old(0)).
bfly_in_out_old(Goal):- (inside_bfly_html_esc;in_pp(http)) -> call(Goal) ;
setup_call_cleanup(bfly_in(old), call(Goal), bfly_out(old)).
:- meta_predicate(bfly_in_out(0)).
bfly_in_out(Goal):- inside_bfly_html_esc -> call(Goal) ;
(locally(bfly_tl:bfly_setting('$bfly_style_html_esc',t),wots(S,Goal)),our_pengine_output(S)).
bfly_in_out(Goal):- in_pp(http),!,call(Goal).
bfly_in_out(Goal):- string_output,!,call(Goal).
bfly_in_out(Goal):- inside_bfly_html_esc -> call(Goal) ;
(bfly_in(_),locally(bfly_tl:bfly_setting('$bfly_style_html_esc',t),Goal),bfly_out(_)). % our_pengine_output(S)).
bflyw:-!.
ccls:- cls,bfly_write(ansi,escape_from_screen([call(cls)])).
bfly_title(_Title):- (toplevel_pp(swish);toplevel_pp(http)),!.
bfly_title(Title):- escape_from_screen(format("\e]2;~w\a",[Title])).
%with_html_mode(Goal):- nb_current(isHtmlMode,t)-> call(Goal);
% setup_call_cleanup(bfly_title("+HtmlMode"),locally(nb_setval(isHtmlMode,t),Goal),bfly_title("-HtmlMode")).
:- nb_setval(isMonospace,nil).
with_monospace(Goal):- nb_current(isMonospace,t)-> call(Goal);
setup_call_cleanup(bfly_title("+Monospace"),locally(nb_setval(isMonospace,t),Goal),bfly_title("-Monospace")).
bfly_in:- bfly_in(old).
bfly_in(_):- inside_bfly_html_esc,!,flag('$inside_bfly_html_esc_level',X,X+1).
bfly_in(old):- bflyw,set_bfly_style('html_esc',t),!,bfly_write(_,[raw_debug('™'),escape_from_screen([esc(80),';HTML|']),raw_debug('∈')]).
set_pp(X):- pp_set(X).
bfly_out:- bfly_out(old).
bfly_out(_):- inside_bfly_html_esc, !,
bfly_write(_,[raw_debug('∂'),escape_from_screen(esc(7)), raw_debug('∉')]),
set_bfly_style('html_esc',f).
bfly_out(_):- flag('$inside_bfly_html_esc_level',X,X-1).
inside_bfly_html_esc:- in_bfly_style('html_esc',t).
/*
Assume will be printed to..
Stream Type Starts_in Will SwitchTo
============ =============== ==============
httpd stream html_esc pre_tag,html_esc
pengines output html_esc pre_tag,html_esc
ansi terminal ansi ansi
butterfly terminal ansi html_esc,ansi
html_esc = unformated body elements
ansi = text with color info
ansi = text with color info
pre_tag = preformat text with HTML embedded
*/
%bfly_write_html(S):- (nb_current('$in_swish',t);pengines:pengine_self(_Self)),!, pengines:pengine_output(S),!.
% bfly_write_html(S):- bfly_to_all_pts(S),!.
%bformat(P):- compound(P),wots((S),post_html(P)),bfly_write_html(S),!.
%write_direct(S):- in_swish,!, pengines:pengine_output(S).
write_direct(S):- pformat(S).
%bformat(P):- atom(P),sformat_safe(S,P,[]),!,bformat(S).
%bformat(S):- string(S),atom_concat(PL,'\n',S),!,bformat(PL).
%bformat(S):- t_l:in_block_format,!,format_safely("~w",[S]),!.
bformat(Stream,Fmt,Args):- atomic(Stream),is_stream(Stream),!, with_output_to(Stream,bformat(Fmt,Args)).
bformat(Stream,Fmt,Args):- format_safely(Stream,Fmt,Args).
bformat(Fmt,Args):- sformat_safe(P,Fmt,Args),bformat(P).
bformat(S):- use_pts_files,!,bfly_to_all_pts(S).
bformat(S):- write(S).
sformat_safe(Stream,Fmt,Args):- catch(sformat(Stream,Fmt,Args),E,(ansi,wdmsg(E),dumpST,break)).
format_safely(Stream,Fmt,Args):- catch(format(Stream,Fmt,Args),E,(ansi,wdmsg(E),dumpST,break)).
format_safely(Fmt,Args):- catch(format(Fmt,Args),E,(ansi,wdmsg(E),dumpST,break)).
format_safely(Fmt):- catch(format(Fmt),E,(ansi,wdmsg(E),dumpST,break)).
%bfly_write(Write):- bfly_html_goal(write(current,Write)).
%bfly_write(Write):- bfly_write_hs(Write).
bfly_write_plain(Stuff):- bfly_out_in(bfly_write(ansi,Stuff)).
bfly_write_html(Stuff):- bfly_html_goal(bfly_write(http,Stuff)).
bfly_write_pre(Stuff):- bfly_write_html(pre(Stuff)).
bfly_html_pre(Goal):- in_pp(ansi),!,call(Goal).
bfly_html_pre(Goal):- wots(S,in_bfly(f,with_pp(ansi,Goal))), bfly_write_pre(S).
escape_from_screen(G):- bfly_write(current,escape_from_screen(call(G))).
%only_bfly(Goal):- ignore((toplevel_pp(bfly), \+ string_output, Goal)).
only_bfly(Goal):- ignore((toplevel_pp(bfly), Goal)).
guess_is_pp(Guess):- in_pp(Guess).
% guess_is_pp(Guess):- toplevel_pp(Guess).
string_output:- stream_property(current_output,close_on_abort(true)), \+ stream_property(current_output,close_on_exec(false)).
bfly_write(Style,S):- var(S),!, bfly_write(Style,var_in_style(Style,S)),!.
bfly_write(_Styl, call(X)):-!, call(X).
bfly_write(_, '$html'):- !, only_bfly(bfly_in).
bfly_write(_,'$nohtml'):- !, only_bfly(bfly_out).
bfly_write(_,esc(Char)):- !, only_bfly(( put(27),!, put_code(Char))).
bfly_write(Style,escape_from_screen('$start')):- !, only_bfly(bfly_write(Style,[when_in_screen(esc(80))])).
bfly_write(Style,escape_from_screen('$end')):- !, only_bfly(bfly_write(Style,[when_in_screen(esc(92))])).
bfly_write(Style,escape_from_screen(X)):-!, bfly_write(Style,[when_in_screen(esc(80)),X,when_in_screen(esc(92))]).
bfly_write(Style,when_in_screen(X)):- !, only_bfly(ignore((getenv('TERM',screen),bfly_write(Style,X)))).
bfly_write(ansi,pre(X)):- !,bfly_write(ansi,X).
bfly_write(_Styl,pre(X)):- !, bfly_write_html([html(''),X,html('')]),!.
bfly_write(_Styl,html(X)):- !, bfly_write_html(X),!.
bfly_write(_Styl,raw_debug(X)):- !, nop(write(X)),!.
bfly_write(ansi,term(X)):- !, bfly_out_in(print_tree(X)).
bfly_write(_Styl,term(X)):- !, bfly_html_goal(print_html_term(X)).
bfly_write(ansi,style(_,X)):- !, bfly_out_in(bfly_write(ansi,X)).
bfly_write(Style,style(C,X)):- !,bfly_write(Style,[html('',[C]),X,html('')]),!.
bfly_write(ansi,color(C,X)):- !,color_format(fg(C),'~@',[bfly_write(ansi,X)]).
bfly_write(_Styl,color(C,X)):- !,sformat_safe(S,'',[C]),bfly_write_html([html(S),X,html('')]),!.
bfly_write(_Styl,w(Text)):- !, write(Text). % needed in order to write an integer or special atoms
bfly_write(_Styl,hwt(0)):- !, bfly_write_html('hello world
').
bfly_write(_Styl,hwt(a)):- !, write("\e]8;;https://example.com\aThis is a link\e]8;;\a\c").
bfly_write(Style,hwt(1)):- !, bfly_write(Style,ht('https://example.com','This is a link')).
bfly_write(Style,hwt(2)):- !, bfly_write(Style,ht2('https://example.com','This is a link')).
bfly_write(_Styl,ht(H,T)):- !, write("\e]8;;"),write(H),write("\a"),write(T),write("\e]8;;\a\c").
bfly_write(_Styl,ht2(H,T)):- !, write("\e]8;;"),bfly_write_html(H),write("\a\c"),write(T),write("\e]8;;\a\c").
bfly_write(_Styl,ho(H)):- !, write("\e]8;;"),bfly_write_html(H),write("\a"),write("\e]8;;\a\c").
bfly_write(_Styl,ansi(X)):-!, bfly_write_plain(X).
bfly_write(Style,'$clr'):- !, bfly_write(Style,esc(92)).
bfly_write(Style,nl):- !, (inside_bfly_html_esc -> bfly_write(Style,'
'); nl).
bfly_write(_Styl,Code):- integer(Code), !, put(Code).
bfly_write(Style,S):- (string(S);is_codelist(S);is_charlist(S)), format_safely(atom(T),'~s',[S]), !, bfly_write(Style,T).
bfly_write(Style,IsList):- is_list(IsList), !, bfly_at_once(must_maplist_det(bfly_write(Style),IsList)),!.
bfly_write(current,S):- guess_is_pp(What),!,bfly_write1(What,S).
bfly_write(Style,S):- bfly_write1(Style,S),!.
bfly_write1(_Styl,S):- atom(S),(atom_contains(S,'<'),atom_contains(S,'>')),!,write_direct(S).
%bfly_write(ansi,S):- guess_is_pp(ansi),!,writ
bfly_write1(_Styl,X):-!, pformat(X).
:- multifile(cp_menu:menu_item/2).
:- dynamic(cp_menu:menu_item/2).
:- asserta(cp_menu:menu_item('https://logicmoo.org/4123/', 'Butterfly REPL')).
:- asserta(cp_menu:menu_item('/swish/', 'SWISH')).
:- meta_predicate(esc_screen(0)).
esc_screen(X):- Style=current,
setup_call_cleanup(
bfly_write(Style,when_in_screen(esc(80))),
call(X),
bfly_write(Style,when_in_screen(esc(97)))).
in_bfly_style(Style,Value):- as_bfly_style(Style,Var), !, bfly_get(Var,Value).
set_bfly_style(Style,Value):- as_bfly_style(Style,Var), !, bfly_set(Var,Value).
as_bfly_style(Style,Var):- atom_concat('$bfly_style_',Style,Var).
:- dynamic(bfly_tl:bfly_setting/2).
:- thread_local(bfly_tl:bfly_setting/2).
bfly_set(List):- is_list(List),!,maplist(bfly_set,List).
bfly_set(Name):- atomic(Name),!,bfly_set(Name,t).
bfly_set(Cmpd):- Cmpd=..[Name,Value],!,bfly_set(Name,Value).
bfly_set(Name,Value):- retractall(bfly_tl:bfly_setting(Name,_)),nb_setval(Name,Value),asserta(bfly_tl:bfly_setting(Name,Value)).
bfly_get(Style,Was):- nonvar(Was),!,bfly_get(Style,Waz),!,Was=Waz.
bfly_get(Name,Value):- nb_current(Name,Value), Value\==[],!.
bfly_get(Name,Value):- bfly_tl:bfly_setting(Name,Value),!.
bfly_get(_,f).
bfly_start_link(String):- % make,
bfly_set(location,String),parse_url(String,Attribs),
bfly_set(Attribs), ignore((sub_string(String,_,1,After,'?'),sub_string(String,_,After,0,Value),bfly_set(command,Value),
www_form_encode(Cmd,Value),atom_to_term(Cmd,Prolog,_),dmsg(cmd=Prolog),on_xf_ignore(Prolog))).
:- thread_local(tl:in_bfly_at_once/0).
:- meta_predicate(bfly_at_once(0)).
bfly_at_once(G):- tl:in_bfly_at_once, !, call(G).
bfly_at_once(G):- flush_output, ttyflush,
locally(tl:in_bfly_at_once,
(wots((S),(G,flush_output)),!,
write(S),flush_output)),
flush_output, ttyflush.
bfly_info:- \+ use_pts_files,!,in_cmt(listing(bfly_tl:bfly_setting/2)).
bfly_info:-
expand_file_name('/dev/pts/?',[_,_|X]),
nl,wdmsg(bfly_info(X)),nl,
in_cmt(listing(bfly_dyn:bfly_style_asked/1)),
in_cmt(listing(bfly_dyn:bfly_style_answered/0)),
in_cmt(listing(bfly_dyn:bfly_style_type/6)),
in_cmt(listing(bfly_tl:bfly_setting/2)).
bfly_to_all_pts(S):-
expand_file_name('/dev/pts/?',[_,_|X]),
forall(member(E,X),bfly_to_pts(E,S)),!.
bfly_to_pts(E,S):- ignore((tty_to_output_style(E,Style),!,bfly_to_pts(E,Style,S))).
bfly_to_pts(E,Style,S):-
setup_call_cleanup(
open_for_output(E,Style,Out,OnExit),
with_output_to(Out,bfly_write(Style,S)),
OnExit),!.
insert_js(File):- bformat('',[File]).
pre_style(''):- !. % TODO uncomment
pre_style('').
pre_style:- pre_style(Style),bfly_write_html(Style).
mouse_over_span:-
bfly_write_html('Each word will be wrapped in a span.
A second paragraph here.
Word: ').
is_visible_output:- current_output(Out),stream_property(Out,buffer(line)),stream_property(Out,alias(_)).
clean_pre(Pre,Clean):- subst_string(Pre,'\n','',M),subst_string(M,'\n\n','\n',Clean).
subst_string(Pre,B,A,Clean):- atomic_list_concat(List,B,Pre),atomic_list_concat(List,A,Clean).
post_html(HTML):- notrace(catch(post_html0(HTML),Err,writeq(post_html((Err),HTML)))).
% post_html0(HTML):- is_list(HTML),!,maplist(post_html,HTML).
post_html0(HTML):- re_html(HTML, SafeHTML), html_write:html(SafeHTML,O,[]),fix_print_html(O,OO),print_html(OO),!.
fix_print_html([nl(2)],[]).
fix_print_html([],[]).
fix_print_html([pre,>,nl(1)|O],[pre,>|OO]):- !, fix_print_html(O,OO).
fix_print_html([nl(1),nl(0), (pengines:pengine_self(M);prolog_load_context(module, M)) ; M =MM),
re_html(M, HTML, HTMLSafe),!.
re_html(M, HTML, SafeHTML):- \+ ground(HTML), !, imploded_copyvars(HTML,COPY), re_html(M, COPY, SafeHTML).
re_html(M, HTML, SafeHTML):- is_list(HTML), !, maplist(re_html(M), HTML, SafeHTML).
re_html(M, '$VAR'(Var), HTML):- re_html(M, pre(["$VAR-",Var]), HTML).
re_html(M, A=B, SafeHTML):- re_html(M, [A,pre(=),B], SafeHTML).
re_html(M, element(E,P,L), element(E,P,LL)):- !,re_html(M, L, LL).
re_html(M, s(HTML), SafeHTML):- re_html(M, s(' ',HTML), SafeHTML).
re_html(M, s(Sep,HTML), SafeHTML):- is_list(HTML), pad_list(HTML,Sep,PaddedHTML),!,re_html(M, PaddedHTML, SafeHTML).
re_html(_, ' ', &(nbsp)):-!.
re_html(M, HTML, SafeHTML):- \+ compound(HTML), swish_safe_html(HTML, M, SafeHTML),!.
re_html(_, HTML, SafeHTML):- \+ compound(HTML),!,SafeHTML= HTML.
re_html(_, HTML, \[<,Name,/>]):- compound_name_arity(HTML,Name,0),!.
re_html(_, \ List, \ List):- is_list(List),!.
re_html(_, '$'(Stuff), \ Flat):- flatten([Stuff],Flat),!.
re_html(_, HTML, element(Name,[],[])):- compound_name_arity(HTML,Name,0),!.
re_html(M, HTML, SafeHTML):- compound_name_arguments(HTML,F,HTMLList),
re_html(M, HTMLList,SafeHTMLList),
compound_name_arguments(SafeHTML,F,SafeHTMLList).
re_html(M, HTML, SafeHTML):- swish_safe_html(HTML, M, SafeHTML),!.
pad_list([],_,[]):-!.
pad_list([W],_,[W]):-!.
pad_list([W|HTML],Pad,[W,Pad|PaddedHTML]):-
pad_list(HTML,Pad,PaddedHTML).
swish_safe_html(HTML, M, SafeHTML):-
notrace(catch(call(call,swish_html_output:make_safe_html(HTML, M, SafeHTML)),_,HTML=SafeHTML)).
bfly_test(bfly_info):- bfly_info.
bfly_test(a1):- bfly_in_out(writeln('
')).
bfly_test(a2):- bfly_html_goal(writeln((''))).
bfly_test(a3):- bfly_html_goal(our_pengine_output((''))).
bfly_test(a4):- our_pengine_output(``).
bfly_test(0):- bfly_write(current,[html('hi there fred0
'), ' foo']).
bfly_test(1):- bfly_write_html('hi there
fred1').
%bfly_test(2):- pre_style, bfly_write(html('this non yellow goes to logicmoo.org
')).
%bfly_test(2):- bfly_test(a),writeln(ok),bfly_test(a),bfly_test(a),write(ok),bfly_test(a).
%bfly_test(3):- bformat('targa').
bfly_test(4):- bformat('').
%bfly_test(5):- bfly_html_goal(writeln('')).
%bfly_test(6):- our_pengine_output(('')).
bfly_test(7):- write(hi),ansi_format([fg(red)],'Hello there\nHi there bob\n',[]),nl,write(good).
into_attribute_q(Obj,TextBoxObj):- sformat_safe(Text,'~q',[Obj]),into_attribute(Text,TextBoxObj).
:- export(into_attribute/2).
:- system:import(into_attribute/2).
into_attribute(Obj,TextBoxObj):-
(atomic(Obj)->sformat_safe(Text,'~w',[Obj]);sformat_safe(Text,'~q',[Obj])),
xml_quote_attribute(Text,TextBoxObj,ascii),!.
bfly_tests:- forall(clause(bfly_test(Name),Body),
((writeln(test(Name)),ignore(Body),nl))),!.
bfly_test_8:-
our_pengine_output(`
This is a minimalist HTML and JavaScript skeleton of the GoJS Sample
blockEditor.html. It was automatically generated from a button on the sample page,
and does not contain the full HTML. It is intended as a starting point to adapt for your own usage.
For many samples, you may need to inspect the
full source on Github
and copy other files or scripts.
Double-click in the background to create a new node.
Create groups by selecting nodes and invoking Ctrl-G; Ctrl-Shift-G to ungroup a selected group.
A selected node will have four orange triangles that when clicked will automatically copy the node and link to it.
Use the context menu to change the shape, color, thickness, and dashed-ness.
Links can be drawn by dragging from the side of each node.
A selected link can be reconnected by dragging an end handle.
Use the context menu to change the color, thickness, dashed-ness, and which side the link should connect with.
Press the F2 key to start editing the label of a selected link.
GoJS version 2.2.15. Copyright 1998-2022 by Northwoods Software.
`).
:- fixup_exports.
:- fixup_module_exports_now.
:- multifile(user:portray/1).
:- dynamic(user:portray/1).
% user:portray(X):- \+ current_prolog_flag(debug, true), \+ tracing, bfly_portray(X), !.