end
in
let chunks = out_list och 1 true size (List.rev !uris) in
- out_clause och "main :- grundlagen.";
KP.fprintf och "grundlagen :-\n";
out_chunks och (pred chunks) 1;
close_out och
let open_out_lp2 fname =
let dir = KF.concat !G.manager_dir base in
let path = KF.concat dir fname in
- let och = open_out (path ^ "2" ^ ext_lp) in
+ let och = open_out (path ^ "b_ld3" ^ ext_lp) in
out_preamble och;
out_top_comment och version;
- out_clause och "accumulate helena.";
output_entity_lp2 och, close_out_lp2 och
let open_out_tj2 fname =