rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Clean the code

Browse Source
This commit is contained in:
Adrián Arroyo Calle
2021-08-20 14:06:57 +02:00
parent 8ee2545b05
commit 80e228f236
1 changed files with 9 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/toplevel.pl
View File

@@ -50,16 +50,16 @@ delegate_task([], Goals0) :-
repl. repl.
delegate_task([Arg0|Args], Goals0) :- delegate_task([Arg0|Args], Goals0) :-
( member(Arg0, ["-h", "--help"]) -> print_help(Args, ArgsOut) ( member(Arg0, ["-h", "--help"]) -> print_help
; member(Arg0, ["-v", "--version"]) -> print_version(Args, ArgsOut) ; member(Arg0, ["-v", "--version"]) -> print_version
; member(Arg0, ["-g", "--goal"]) -> gather_goal(g, Args, Goals0) ; member(Arg0, ["-g", "--goal"]) -> gather_goal(g, Args, Goals0)
; member(Arg0, ["-f"]) -> init_file(Args, ArgsOut) ; member(Arg0, ["-f"]) -> init_file(Args, Goals0)
; atom_chars(Mod, Arg0), ; atom_chars(Mod, Arg0),
catch(use_module(Mod), E, print_exception(E)) catch(use_module(Mod), E, print_exception(E))
), ),
delegate_task(ArgsOut, Goals0). delegate_task(Args, Goals0).
print_help(Args, Args) :- print_help :-
write('Usage: scryer-prolog [OPTIONS] [FILES] [-- ARGUMENTS]'), write('Usage: scryer-prolog [OPTIONS] [FILES] [-- ARGUMENTS]'),
nl, nl, nl, nl,
write('Options:'), nl, write('Options:'), nl,
@@ -74,7 +74,7 @@ print_help(Args, Args) :-
% write(' '), % write(' '),
halt. halt.
print_version(Args, Args) :- print_version :-
'$scryer_prolog_version'(Version), '$scryer_prolog_version'(Version),
write(Version), nl, write(Version), nl,
halt. halt.
@@ -88,13 +88,14 @@ gather_goal(Type, Args0, Goals) :-
Gs =.. [Type, Gs1], Gs =.. [Type, Gs1],
delegate_task(Args, [Gs|Goals]). delegate_task(Args, [Gs|Goals]).
init_file(Args0, Args) :- init_file(Args0, Goals) :-
length(Args0, N), length(Args0, N),
( N < 1 -> print_help, halt ( N < 1 -> print_help, halt
; true ; true
), ),
[File|Args] = Args0, [File|Args] = Args0,
load_init_file(File). load_init_file(File),
delegate_task(Args, Goals).
arg_type(g). arg_type(g).
arg_type(t). arg_type(t).