3sciff_files([ browser, 4 ccopy, 5 debug, 6 defaults, 7 domains, 8 graphviz, 9 help, 10 history_parser, 11 ics_parser, 12 ics_quant, 13 parser_utils, 14 pretty_print, 15 print_clp_constraints, 16 project, 17 proof_util, 18 quantif, 19 reified_unif, 20 ruleml_parser, 21 sciff, 22 sciff_options, 23 sokb_parser, 24 svg]). 25 26 27 28%:- sciff_files(L), compile(L), save_files(L, 'sciff.po'), halt. 29%:-compile('sciff_java_gui.pl'), save_program('sciff.po'), halt. 30 31 32compile_all([]). 33compile_all([H|T]) :- compile(H), save_files(H, H), compile_all(T). 34 35:- sciff_files(L), compile_all(L), halt.