64df83ae7d
We're still on Gerrit version 2.x but when we move to 3.0 it will not make sense to have the user named "gerrit2". Update all the documentation to refer to "gerrit" instead. Also change the Jetty configuration to use "gerrit" instead. Change-Id: I43a343669ac936b0585ee15e07d15643f9c3d6eb
58 lines
1.1 KiB
Plaintext
58 lines
1.1 KiB
Plaintext
= prolog-shell
|
|
|
|
== NAME
|
|
prolog-shell - Simple interactive Prolog interpreter
|
|
|
|
== SYNOPSIS
|
|
[verse]
|
|
--
|
|
_java_ -jar gerrit.war _prolog-shell_
|
|
[-s FILE.pl ...]
|
|
--
|
|
|
|
== DESCRIPTION
|
|
Provides a simple interactive Prolog interpreter for development
|
|
and testing.
|
|
|
|
== OPTIONS
|
|
-s::
|
|
Dynamically load the Prolog source code at startup,
|
|
as though the user had entered `['FILE.pl'].` into
|
|
the interpreter once it was running. This option may
|
|
be supplied more than once to load multiple files.
|
|
|
|
== EXAMPLES
|
|
Define a simple predicate and test it:
|
|
|
|
----
|
|
$ cat >simple.pl
|
|
food(apple).
|
|
food(orange).
|
|
^D
|
|
|
|
$ java -jar gerrit.war prolog-shell -s simple.pl
|
|
Gerrit Code Review 2.2.1-84-ge9c3992 - Interactive Prolog Shell
|
|
based on Prolog Cafe 1.2.5 (mantis)
|
|
Copyright(C) 1997-2009 M.Banbara and N.Tamura
|
|
(type Ctrl-D or "halt." to exit, "['path/to/file.pl']." to load a file)
|
|
|
|
{consulting /usr/local/google/users/sop/gerrit/gerrit/simple.pl ...}
|
|
{/usr/local/google/users/sop/gerrit/gerrit/simple.pl consulted 99 msec}
|
|
|
|
| ?- food(Type).
|
|
|
|
Type = apple ? ;
|
|
|
|
Type = orange ? ;
|
|
|
|
no
|
|
| ?-
|
|
----
|
|
|
|
GERRIT
|
|
------
|
|
Part of link:index.html[Gerrit Code Review]
|
|
|
|
SEARCHBOX
|
|
---------
|