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

Change name from alpha to tmi.

This commit is contained in:
Simon Forman 2019-05-04 06:57:14 -07:00
parent 8ca86d3d35
commit 6c94313061
1 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
thun/metalogical.pl
View File

@ -1,19 +1,19 @@
% A Tracing Meta-Interpreter for Thun % A Tracing Meta-Interpreter for Thun
alpha(true). tmi(true).
alpha((A, B)) :- alpha(A), alpha(B). tmi((A, B)) :- tmi(A), tmi(B).
alpha(number(A)) :- !, number(A). tmi(number(A)) :- !, number(A).
alpha(var(A)) :- !, var(A). tmi(var(A)) :- !, var(A).
alpha(!) :- !. tmi(!) :- !.
% Meta-logical print trace. % Meta-logical print trace.
% (Could also be captured in a list or something instead.) % (Could also be captured in a list or something instead.)
alpha(thun(E, Si, _)) :- portray_clause(Si-E), fail. tmi(thun(E, Si, _)) :- portray_clause(Si-E), fail.
alpha(Goal) :- tmi(Goal) :-
checky(Goal), checky(Goal),
clause(Goal, Body), % doesn't work for e.g. + clause(Goal, Body), % doesn't work for e.g. +
alpha(Body). tmi(Body).
checky(Goal) :- checky(Goal) :-
Goal \= true, Goal \= true,
@ -24,7 +24,7 @@ checky(Goal) :-
/* /*
[debug] ?- alpha(thun([1, 2, swap], Si, So)). [debug] ?- tmi(thun([1, 2, swap], Si, So)).
_-[1, 2, swap]. _-[1, 2, swap].
[1|_]-[2, swap]. [1|_]-[2, swap].
[2, 1|_]-[swap]. [2, 1|_]-[swap].
@ -32,7 +32,7 @@ _-[1, 2, swap].
So = [1, 2|Si] ; So = [1, 2|Si] ;
false. false.
[debug] ?- alpha(thun([[1], 2, swons], Si, So)). [debug] ?- tmi(thun([[1], 2, swons], Si, So)).
_-[[1], 2, swons]. _-[[1], 2, swons].
[[1]|_]-[2, swons]. [[1]|_]-[2, swons].
[2, [1]|_]-[swons]. [2, [1]|_]-[swons].
@ -41,7 +41,7 @@ _-[[1], 2, swons].
[[2, 1]|_]-[]. [[2, 1]|_]-[].
So = [[2, 1]|Si] . So = [[2, 1]|Si] .
[debug] ?- alpha(thun([[1], 2, [swons], i], Si, So)). [debug] ?- tmi(thun([[1], 2, [swons], i], Si, So)).
_-[[1], 2, [swons], i]. _-[[1], 2, [swons], i].
[[1]|_]-[2, [swons], i]. [[1]|_]-[2, [swons], i].
[2, [1]|_]-[[swons], i]. [2, [1]|_]-[[swons], i].