Re: [Xsb-users] Running xsb from a file

[<ki...@cs...>]

> One idea that we came up with was to put the commands that we want to
> run into a file and then start xsb and have it read all of the commands
> from that file.  I have version 2.0 and I'm having difficulty seeing
> how to do it with the present version.  I believe that you could do
> "xsb -f <file name>" with version 1.8 but I don't see this in the
> present version.
> 
> Any ideas would be very helpful.  Thanks in advance

Do you mean you want to consult the file?
Then type

xsb -e "[file]."

With -e you can execute any XSB goal.

mk