Minor cleanup.

diff --git a/thun/metalogical.pl b/thun/metalogical.pl
index feb1f0c..d793b69 100644 (file)
--- a/thun/metalogical.pl
+++ b/thun/metalogical.pl
@@ -1,10 +1,10 @@
 % A Tracing Meta-Interpreter for Thun\r
 \r
 tmi(true).\r
+tmi(!).\r
 tmi((A, B)) :- tmi(A), tmi(B).\r
-tmi(number(A)) :- !, number(A).\r
-tmi(var(A)) :- !, var(A).\r
-tmi(!) :- !.\r
+tmi(number(A)) :- number(A).\r
+tmi(var(A)) :- var(A).\r
 \r
 % Meta-logical print trace.\r
 % (Could also be captured in a list or something instead.)\r