Re: how to query goal in OS shell ?

[Daniel Diaz]

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 <address@hidden> 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
> address@hidden
> 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.