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

unstack, least_fraction

This commit is contained in:
Simon Forman 2019-08-11 19:57:28 -07:00
parent 7a4e58fe15
commit 40148fced9
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
thun/gnu-prolog/defs.txt
View File

@ -32,6 +32,7 @@ ifte == [nullary] dipd swap branch
ii == [dip] dupdip i ii == [dip] dupdip i
infra == swons swaack [i] dip swaack infra == swons swaack [i] dip swaack
infrst == infra first infrst == infra first
least_fraction == dup [gcd] infra [div] concat map
make_generator == [codireco] ccons make_generator == [codireco] ccons
neg == 0 swap - neg == 0 swap -
nullary == [stack] dinfrirst nullary == [stack] dinfrirst

5
thun/gnu-prolog/thun.pl
View File

@ -82,13 +82,11 @@ func(cons, [A, B|S], [[B|A]|S]).
func(swap, [A, B|S], [B, A|S]). func(swap, [A, B|S], [B, A|S]).
func(dup, [A|S], [A, A|S]). func(dup, [A|S], [A, A|S]).
func(pop, [_|S], S ). func(pop, [_|S], S ).
func(sqrt, [A|S], [B|S]) :- B is sqrt(A).
func(concat, [A, B|S], [C|S]) :- append(B, A, C). func(concat, [A, B|S], [C|S]) :- append(B, A, C).
func(flatten, [A|S], [B|S]) :- flatten(A, B). func(flatten, [A|S], [B|S]) :- flatten(A, B).
func(swaack, [R|S], [S|R]). func(swaack, [R|S], [S|R]).
func(stack, S , [S|S]). func(stack, S , [S|S]).
func(unstack, [S|_], S ).
func(clear, _ , []). func(clear, _ , []).
func(first, [[X|_]|S], [X|S]). func(first, [[X|_]|S], [X|S]).
func(rest, [[_|X]|S], [X|S]). func(rest, [[_|X]|S], [X|S]).
@ -112,6 +110,7 @@ func(bool, [false|S], [false|S]) :- !.
func(bool, [_|S], [true|S]). func(bool, [_|S], [true|S]).
func(sqrt, [A|S], [B|S]) :- B is sqrt(A).
/* /*