Multifile func/3.

thun/gnu-prolog/Makefile

@@ -1,7 +1,8 @@
-GPLC_OPTIONS="--min-size"
+#GPLC_OPTIONS=--min-size
+GPLC_OPTIONS=--no-top-level
 
-thun: thun.pl parser.pl defs.pl main.pl
-	gplc $(GPLC_OPTIONS) -o thun thun.pl parser.pl defs.pl main.pl
+thun: thun.pl parser.pl defs.pl main.pl math.pl Makefile
+	gplc $(GPLC_OPTIONS) -o thun thun.pl parser.pl defs.pl main.pl math.pl
 
 defs.pl: meta-defs.pl parser.pl defs.txt thun.pl
 	gprolog \

thun/gnu-prolog/main.pl

@@ -33,7 +33,9 @@ loop( Line, In, Out) :-
   loop(NextLine, S, Out).
 
 
-do_line(Line, In, Out) :- phrase(joy_parse(E), Line), thun(E, In, Out).
+do_line(Line, In, Out) :-
+    phrase(joy_parse(E), Line),
+    thun(E, In, Out).
 do_line(_Line, S,   S) :- write('Err'), nl.
 
 prompt :- write(`joy? `).

thun/gnu-prolog/math.pl

@@ -1,3 +1,4 @@
+:- multifile(func/3).
 func(+, [A, B|C], [D|C]) :-
 	E =.. [+, B, A],
 	catch(D is E, _, D = E).

thun/gnu-prolog/meta-math.pl

@@ -61,6 +61,7 @@ writeln(Stream, Thing) :-
 
 do :-
     open(`math.pl`, write, Stream),
+    write(Stream, `:- multifile(func/3).`), nl(Stream),
     print_o(Stream, math_operator(Op)),
     print_o(Stream, comparison_operator(Op)),
     print_o(Stream, comparison_operator(Op, Po)),

thun/gnu-prolog/thun.pl

@@ -19,6 +19,7 @@
 */
 % :- dynamic(func/3).
 % :- discontiguous(func/3).
+:- multifile(func/3).
 
 /*
 Interpreter