'),!.
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).
%bflyw(F):- bflyz(F).
bflyw:-!.
%bflyz:- bflyw(264).
ccls:- cls,bfly_write(ansi,escape_from_screen([call(cls)])).
bfly_title(Title):- format("\e]30;~w\a",[Title]).
%:- nb_setval(isHtmlMode,nil).
%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")).
with_htmode(Goal):- nb_current('$bfly_style_html_esc',t)-> call(Goal);
setup_call_cleanup(bfly_title("+HtmlMode"),locally(nb_setval('$bfly_style_html_esc',t),Goal),bfly_title("-HtmlMode")).
bfly_in:- inside_bfly_html_esc,!,flag('$inside_bfly_html_esc_level',X,X+1).
bfly_in:- \+ in_pp(bfly),!.
%bfly_in:- bflyw,set_bfly_style('html_esc',t),!,bfly_write(_,escape_from_screen([esc(80),';HTML|'])).
bfly_in:- bflyw,set_bfly_style('html_esc',t),!,escape_from_screen(bfly_title("+HtmlMode")).
%bfly_in:- set_bfly_style('html_esc',t),bfly_write(_,[escape_from_screen('$start'),esc(80),';HTML|']).
%bfly_in:- set_bfly_style('html_esc',t),!,bfly_write(_,[escape_from_screen(7),';HTML|']).
%bfly_in:- set_bfly_style('html_esc',t),bfly_write(_,[escape_from_screen('$start'),7,';HTML|']).
bfly_out:- \+ inside_bfly_html_esc,!,flag('$inside_bfly_html_esc_level',X,X-1).
bfly_out:- \+ in_pp(bfly),!.
%bfly_out:- bfly_write(_,escape_from_screen(esc(80))),!, set_bfly_style('html_esc',f).
bfly_out:- escape_from_screen(bfly_title("-HtmlMode")),!, set_bfly_style('html_esc',f).
%bfly_out:- bfly_write(_,[esc(80),when_in_screen(esc(92))]), set_bfly_style('html_esc',f).
%bfly_out:- set_bfly_style('html_esc',f),bfly_write(_,escape_from_screen(7)).
%bfly_out:- bfly_write(_,[esc(80),escape_from_screen('$end')]), set_bfly_style('html_esc',f).
inside_bfly_html_esc:- in_bfly_style('html_esc',t).
%bfly_html_goal(Goal):- throw(unknown_stream(bfly_html_goal(Goal))).
/*
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):- bfly_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_write(current,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)).
escape_from_screen(G):- bfly_write(current,escape_from_screen(call(G))).
only_bfly(Goal):- ignore((toplevel_pp(bfly), Goal)).
guess_is_pp(Guess):- in_pp(Guess).
% guess_is_pp(Guess):- toplevel_pp(Guess).
bfly_write(current,S):- guess_is_pp(What),!,with_pp(What,bfly_write(What,S)).
bfly_write(Style,S):- var(S),!, bfly_write(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,IsList):- is_list(IsList), !, bfly_at_once(must_maplist_det(bfly_write(Style),IsList)),!.
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(Style,S):- (string(S);is_codelist(S);is_charlist(S)), format_safely(atom(T),'~s',[S]), !, bfly_write(Style,T).
bfly_write(_Styl,S):- atom(S),(atom_contains(S,'<'),atom_contains(S,'>')),!,write_direct(S).
bfly_write(_Styl,ansi(X)):-!, bfly_write_plain(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(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(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(_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)))).
use_bfly_setting :- false.
in_bfly_style(Name,Value):- use_bfly_setting, !, bfly_get(Name,Value).
in_bfly_style(Style,Was):- nonvar(Was),!,in_bfly_style(Style,Waz),!,Was=@=Waz.
in_bfly_style(Style,Was):- atom_concat('$bfly_style_',Style,Var),((nb_current(Var,Was),Was\==[]);Was=f),!.
set_bfly_style(Name,Value):- use_bfly_setting, !, bfly_set(Name,Value).
set_bfly_style(Style,Now):- atom_concat('$bfly_style_',Style,Var),b_setval(Var,Now).
:- 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,_)),asserta(bfly_tl:bfly_setting(Name,Value)).
bfly_get(Style,Was):- nonvar(Was),!,bfly_get(Style,Waz),!,Was=@=Waz.
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_html_goal(writeln('
')).
bfly_test(a2):- bfly_write(('')).
bfly_test(0):- bfly_write([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):- with_htmode(writeln('')).
bfly_test(6):- bfly_html_goal(writeln('')).
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),
wbfc((writeln(test(Name)),ignore(Body)))),!.
bfly_test_8:-
inline_html_format(`
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), !.