Re: get rid of prolog banner

[Erick Alphonse]

Hi Olivier,

> The set of facts is read in a file with  --entry-goal, the query is loaded
> with --query-goal
> gprolog --entry-goal '[factsFile]' --query-goal 'foo(bar);halt(0)' |
> performNiceFormattingHere
>
> I would like to get rid of the 6-lines banner:
> GNU Prolog 1.2.16
> By Daniel Diaz
> Copyright (C) 1999-2002 Daniel Diaz
> compiling /home/olivier/tmp/prolog/testProlog.pro for byte code...
> /home/olivier/tmp/prolog/testProlog.pro compiled, 32 lines read - 2832 bytes
> written, 25 ms
> | ?- foo(bar);halt(0).
>
> Is there an easy way to do this, or would a little shell scripting do the
> trick ?

What about --init-goal?

885# gprolog --help
Usage: gprolog [OPTION]...

  --init-goal GOAL            execute GOAL before top_level/0
  --entry-goal GOAL           execute GOAL inside top_level/0
  --query-goal GOAL           execute GOAL as a query for top_level/0
  -h, --help                  print this help and exit
  --version                   print version number and exit
  --                          do not parse the rest of the command-line

Report bugs to address@hidden
886# gprolog --init-goal 'write(coucou),nl,halt'
coucou
887#

Cheers,
Erick.