]> Repositorios git - scryer-prolog.git/commit
-t custom toplevel option
authorJ.J. Tolton <[email protected]>
Fri, 7 Nov 2025 00:02:30 +0000 (19:02 -0500)
committerJ.J. Tolton <[email protected]>
Sun, 9 Nov 2025 17:44:37 +0000 (12:44 -0500)
commit768f7ce9a77db599950288b0d1027b561657c319
tree221e47225a6a3b9c04657ba73dc846b3d1e95122
parent2b85a307ae6d39b1c438d955d70965c3914ecad0
-t custom toplevel option

- Add -t FLAG to specify custom toplevel (arity 0 predicate)
- Default toplevel is 'repl' if -t is not specified
- Using `-t halt` achieves original goal of guaranteed termination
- Custom toplevels enable flexible exit strategies (e.g., server mode)
- Update help text to document -t flag

Examples:
  scryer-prolog -t halt program.pl    # Exits after execution
  scryer-prolog -t my_repl program.pl # Custom REPL
  scryer-prolog program.pl            # Default REPL

Co-Authored-By: J.J.'s Robot <[email protected]>
src/toplevel.pl