[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: get rid of prolog banner

From: Erick Alphonse
Subject: Re: get rid of prolog banner
Date: Sat, 26 Apr 2003 01:29:55 +0200
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3) Gecko/20030313

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)' |

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/ for byte code...
/home/olivier/tmp/prolog/ 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'


reply via email to

[Prev in Thread] Current Thread [Next in Thread]