| ?- [grail].

[eric@arp] (.../eric/grail) $ .../sicstus-3.8.1/bin/sicstus-3.8.1 
...
| ?- [grail].

- you must have the sources and the fragments (put them into a fragments/
subdirectory), found on
http://www.let.uu.nl/~richard.moot/personal/grail.html

- you must not have .ql files which are from another platform (precompiled
or quickload files)

- you must have some more paths, for me this does the trick:
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:.../sicstus-3.7.1/lib:
.../X11R6.4/lib:.../apps/tcl+tk/lib
export LD_RUN_PATH=$LD_RUN_PATH:.../sicstus-3.7.1/lib:
.../X11R6.4/lib:.../apps/tcl+tk/lib

- then consult a fragment, e.g. fragment1.pl and select a sentence and click
parse.

- you can either leap/nonstop to find solutions automatically or click nodes
to link them by hand.

- if you did it by hand and have linked all nodes, select creep and go over
to the rewrite window (this example is about "John loves Mary" which links
like: john-np->loves, mary-np->loves loves-s->s). Then you can rewrite by
hand or, for example, click creep until you see "found solution" in the
proof net window... Of course, all this can be done by machine if you select
nonstop in the windows...

- to see the proof as tex, you currently have to run latex proofs1.tex
by hand and then click on view again.

proofs1.tex will be in tex/, but using eg.tex in ./, so better do
in ./ latex tex/proofs1.tex ...

- due to some bug (?) the linkings vanish after all readings have
been calculated. Better have a look at them before... I think this
only happens at our domain, but maybe I am just using Grail the
wrong way anyway. This makes the "nonstop" mode far less nice to
look at...

- a very evil trick to make the "view" button work is like this:
ln tex/* ./
in the Grail directory. Then add to your path a shellscript called
grail_log
(do not forget chmod u+x grail_log ...) which contains:

#!/bin/bash

echo grail_log: Parameters are $*
echo grail_log: $# parameters given

$*

(shell script ends here)

This is because Grail runs "grail_log latex proofs1" and expects
proofs1.tex to be compiled after that...

... hint: gebruik "delete" ipv "shell rm":
http://www.cling.gu.se/datorinfo/old/sicstus/sicstus3/sicstus/sicstus_23.html
#SEC167

.../sicstus-3.8.1/bin/sicstus
(muss diese Version sein...)
...