--- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML Mon Sep 20 09:26:20 2010 +0200
+++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML Mon Sep 20 09:26:24 2010 +0200
@@ -716,9 +716,9 @@
"eval :- findnsols(" ^ string_of_int n ^ ", (" ^ space_implode ", " vnames ^ "), " ^
rel ^ "(" ^ space_implode ", " (map write_term args) ^ "), Sols), writelist(Sols).\n" ^
"writelist([]).\n" ^
- "writelist([(" ^ space_implode ", " vnames ^ ")|T]) :- " ^
+ "writelist([(" ^ space_implode ", " vnames ^ ")|SolutionTail]) :- " ^
"writef('" ^ space_implode ";" (map (fn v => v ^ " = %w") vnames) ^
- "\\n', [" ^ space_implode ", " vnames ^ "]), writelist(T).\n"
+ "\\n', [" ^ space_implode ", " vnames ^ "]), writelist(SolutionTail).\n"
val swi_prolog_prelude =
"#!/usr/bin/swipl -q -t main -f\n\n" ^