a843461b18
Same exercise as in change 79311 but now for the pgm commands. Fixed some syntax expressions that did not match the list of command options and harmonized the indentation. Change-Id: Ieec06ea87ecbc8cda467f58d514e2f29993ba46e Signed-off-by: Michael Ochmann <michael.ochmann@sap.com>
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/gerrit2/gerrit/simple.pl ...}
|
|
{/usr/local/google/users/sop/gerrit2/gerrit/simple.pl consulted 99 msec}
|
|
|
|
| ?- food(Type).
|
|
|
|
Type = apple ? ;
|
|
|
|
Type = orange ? ;
|
|
|
|
no
|
|
| ?-
|
|
----
|
|
|
|
GERRIT
|
|
------
|
|
Part of link:index.html[Gerrit Code Review]
|
|
|
|
SEARCHBOX
|
|
---------
|