|
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)' | 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.
[Prev in Thread] | Current Thread | [Next in Thread] |