Add -g/--goal options and Improve REPL for Tau Prolog

LogtalkDotOrg / logtalk3

Logtalk - declarative object-oriented logic programming language

https://logtalk.org

Apache License 2.0

415 stars 30 forks source link

Add -g/--goal options and Improve REPL for Tau Prolog #81

Closed jariazavalverde closed 4 years ago

jariazavalverde commented 4 years ago

Added -g and --goal options to run a goal from the command-line (#80). In addition, this new REPL asks the user what to do instead of looking for all the answers:

(;) look for the next answer,
(h) help,
(RET) break execution.

pmoura commented 4 years ago

Thanks! I will update the logtalk_tester and logtalk_doclet scripts to work with Tau Prolog next.