Re: how to suppress the start up banner ?

Daniel Diaz <[email protected]>
Newsgroups gmane.comp.gnu.prolog.general
Message-ID <[email protected]>
Hi,

if you want to avoid the banner you should use --input-goal instead of --query-goal. In this case you have to load the file manually instead of using --consult-file.

Try :

gprolog --init-goal 'consult(my_file),my_goal,halt'

However you will obtain the message from the compiler (lines read/bytes written,…). 

If you want to avoid this message, you have to compile natively your file using

gplc my_file.pl

You then obtain an executable called my_file. Add a :- initialization directive in my_file.pl as follows:

:- initialization((my_goal, halt)).

the when you run

./my_file

you have the desired behavior.

Daniel



Le 25 juin 2013 à 13:31, z_axis <[email protected]> a écrit :

> In my shell script, i use the following code to run the goal inputted by
> user:
> res=`gprolog --consult-file $BASE/money.pl --query-goal $goal,halt`
> It works great. However i want to suppress the gprolog's startup banner ?
> Mime-Version: 1.0
> Content-Type: Text/Plain; charset=iso-8859-7
> Content-Transfer-Encoding: base64
> X-CM-TRANSID:D8CowEAplVW8f8lRAX25DQ--.1251S2
> X-Coremail-Antispam: 1Uf129KBjDUn29KB7ZKAUJUUUUU529EdanIXcx71UUUUU7v73
> 	VFW2AGmfu7bjvjm3AaLaJ3UbIYCTnIWIevJa73UjIFyTuYvjxU2t8nUUUUU
> X-CM-SenderInfo: x2bd5xrv6rljoofrz/1tbiZQpHZlD+Ml8XRAAAse
> 
> 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.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.