sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Experiment in formatting stacks for output. 

Tracing, sort of...
This commit is contained in:
Simon Forman 2019-08-03 19:01:45 -07:00
parent 3b1a89d1c4
commit 177d6cd433
1 changed files with 28 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
thun/metalogical.pl
View File

@ -10,7 +10,7 @@ tmi(var(A)) :- var(A).
% Meta-logical print trace.
% (Could also be captured in a list or something instead.)
tmi(thun(E, Si, _)) :- portray_clause(Si-E), fail.
tmi(thun(E, Si, _)) :- frump(Si, E), fail.
tmi(Goal) :-
checky(Goal),
@ -24,6 +24,33 @@ checky(Goal) :-
Goal \= number(_),
Goal \= !.
format_state(Stack, Expression, Codes) :-
reverse(Stack, RStack),
phrase(format_stack(RStack), RStackCodes),
phrase(format_stack(Expression), ExpressionCodes),
append(RStackCodes, [32, 46, 32|ExpressionCodes], Codes).
frump(Stack, Expression) :-
format_state(Stack, Expression, Codes),
maplist(put_code, Codes), nl.
% do(In) :- phrase(format_stack(In), Codes), maplist(put_code, Codes).
% Print Joy expressions as text.
format_stack(Tail) --> {var(Tail)}, !, [46, 46, 46].
format_stack([T]) --> format_term(T), !.
format_stack([T|S]) --> format_term(T), " ", format_stack(S).
format_stack([]) --> [].
format_term(N) --> {number(N), number_codes(N, Codes)}, Codes.
format_term(A) --> { atom(A), atom_codes(A, Codes)}, Codes.
format_term([A|As]) --> "[", format_stack([A|As]), "]".
/*
[debug] ?- tmi(thun([1, 2, swap], Si, So)).