call_promela_parser(PMLFile) :- promela_prolog_filename(PMLFile,PrologFile), (file_exists(PrologFile) -> delete_file(PrologFile) ; true), runtime_application_path(AppPath), call_jar_parser(PMLFile,'Promela.jar',[AppPath],promela_parser).
Calls:
Name: call_jar_parser/4
Name: runtime_application_path/1
Name: true
Name: delete_file/1
Name: file_exists/1
Name: ->/3
Name: promela_prolog_filename/2