Hi, you can use:
gprolog --init-goal 'bar(1,2)' --init-goal 'halt' or simply: gprolog --init-goal 'bar(1,2),halt' NB: there is no final doc in the agreement of the --init-goal option. Look at the doc for other options (--entry-goal or --query-goal) depending on you want or not the starting banner. Try gprolog --help Daniel Look at the doc Le 23 juin 2013 à 08:44, czsq888 <[email protected]> a écrit : > Using swi-prolog, i can use `swipl -q -f foo.pl -g "bar(1,2)." -t halt` to > query goal from OS shell. How to do the same thing using gnuprolog ? > Mime-Version: 1.0 > Content-Type: Text/Plain; charset=iso-8859-7 > Content-Transfer-Encoding: base64 > X-CM-TRANSID:D8CowED5cE9tmcZRxro0DQ--.1050S2 > X-Coremail-Antispam: 1Uf129KBjDUn29KB7ZKAUJUUUUU529EdanIXcx71UUUUU7v73 > VFW2AGmfu7bjvjm3AaLaJ3UbIYCTnIWIevJa73UjIFyTuYvjxU2KZXUUUUU > X-CM-SenderInfo: pf2v1miyy6il2tof0z/1tbivxRFz1D+Ns7oxAAAsb > > ZV4o8C5pKSArIDEgPSAwDQo= > > > _______________________________________________ > Users-prolog mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/users-prolog > > -- > Ce message a ete verifie par MailScanner > pour des virus ou des polluriels et rien de > suspect n'a ete trouve. > -- Ce message a ete verifie par MailScanner pour des virus ou des polluriels et rien de suspect n'a ete trouve. _______________________________________________ Users-prolog mailing list [email protected] https://lists.gnu.org/mailman/listinfo/users-prolog
