]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16fd7a8) | patch
Fix -t flag help text to reflect it accepts any goal
authorJ.J. Tolton <[email protected]>
Fri, 14 Nov 2025 15:55:49 +0000 (10:55 -0500)
committerJ.J. Tolton <[email protected]>
Fri, 14 Nov 2025 15:55:49 +0000 (10:55 -0500)
commit11d02159634ea253c5f1f62a402b2367f50db92a
tree744f141dc540e80f44e226cbef3432be79f1831ctree | snapshot
parent16fd7a8d5127bed0301182b5d43f1469e3ef54f2commit | diff
Fix -t flag help text to reflect it accepts any goal

The -t flag is not limited to arity 0 predicates - it accepts any
goal including goals with arguments (e.g., -t 'halt(1)'). Updated
the help text to remove the incorrect "(arity 0 predicate)" constraint.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <[email protected]>
src/toplevel.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust