61698b14e0
We previous use the section title style like: Section level 1 =============== Section level 2 --------------- Which have a problem in Asciidoctor that the number of "="s or "-"s must match the number of characters in the header exactly, as a result it's easy to make mistakes while changing the titles. Asciidoctor provides a better style like: = Section level 1 == Section level 2 So we switched to this style. Also fixed a bug in replace_macros.py, which will not cause any problem in the old style. Change-Id: I811dd7238735d98f662767c17086152cd69aea02
56 lines
1.1 KiB
Plaintext
56 lines
1.1 KiB
Plaintext
= prolog-shell
|
|
|
|
== NAME
|
|
prolog-shell - Simple interactive Prolog interpreter
|
|
|
|
== SYNOPSIS
|
|
--
|
|
'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
|
|
---------
|