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

Minor cleanup.

This commit is contained in:
Simon Forman 2019-05-04 07:53:02 -07:00
parent 6c94313061
commit 0da935ed94
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
thun/metalogical.pl
View File

@ -1,10 +1,10 @@
% A Tracing Meta-Interpreter for Thun % A Tracing Meta-Interpreter for Thun
tmi(true). tmi(true).
tmi(!).
tmi((A, B)) :- tmi(A), tmi(B). tmi((A, B)) :- tmi(A), tmi(B).
tmi(number(A)) :- !, number(A). tmi(number(A)) :- number(A).
tmi(var(A)) :- !, var(A). tmi(var(A)) :- var(A).
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.)