Blame - Documentation/pgm-prolog-shell.txt - gerrit

blob: 3566b8fff7a68f7554bd642f6b625542de1c621a [file] [log] [blame]

Yuxuan 'fishy' Wang	61698b1	2013-12-20 12:55:51 -0800	[diff] [blame]	1	= prolog-shell
Shawn O. Pearce	5e00711	2011-06-21 14:14:34 -0700	[diff] [blame]	2
Yuxuan 'fishy' Wang	61698b1	2013-12-20 12:55:51 -0800	[diff] [blame]	3	== NAME
Shawn O. Pearce	5e00711	2011-06-21 14:14:34 -0700	[diff] [blame]	4	prolog-shell - Simple interactive Prolog interpreter
				5
Yuxuan 'fishy' Wang	61698b1	2013-12-20 12:55:51 -0800	[diff] [blame]	6	== SYNOPSIS
Michael Ochmann	a843461	2016-07-08 10:58:27 +0200	[diff] [blame]	7	[verse]
Yuxuan 'fishy' Wang	d85b687	2013-11-15 11:47:46 -0800	[diff] [blame]	8	--
Michael Ochmann	a843461	2016-07-08 10:58:27 +0200	[diff] [blame]	9	_java_ -jar gerrit.war _prolog-shell_
Chih-Hung Hsieh	06ed5b3	2019-04-02 09:46:15 -0700	[diff] [blame]	10	[-q] [-s FILE.pl ...]
Yuxuan 'fishy' Wang	d85b687	2013-11-15 11:47:46 -0800	[diff] [blame]	11	--
Shawn O. Pearce	5e00711	2011-06-21 14:14:34 -0700	[diff] [blame]	12
Yuxuan 'fishy' Wang	61698b1	2013-12-20 12:55:51 -0800	[diff] [blame]	13	== DESCRIPTION
Shawn O. Pearce	5e00711	2011-06-21 14:14:34 -0700	[diff] [blame]	14	Provides a simple interactive Prolog interpreter for development
				15	and testing.
				16
Yuxuan 'fishy' Wang	61698b1	2013-12-20 12:55:51 -0800	[diff] [blame]	17	== OPTIONS
Chih-Hung Hsieh	06ed5b3	2019-04-02 09:46:15 -0700	[diff] [blame]	18	-q::
				19	Do not display banner.
Shawn O. Pearce	5e00711	2011-06-21 14:14:34 -0700	[diff] [blame]	20	-s::
				21	Dynamically load the Prolog source code at startup,
				22	as though the user had entered `['FILE.pl'].` into
David Pursehouse	9246356	2013-06-24 10:16:28 +0900	[diff] [blame]	23	the interpreter once it was running. This option may
Shawn O. Pearce	5e00711	2011-06-21 14:14:34 -0700	[diff] [blame]	24	be supplied more than once to load multiple files.
				25
Yuxuan 'fishy' Wang	61698b1	2013-12-20 12:55:51 -0800	[diff] [blame]	26	== EXAMPLES
Shawn O. Pearce	5e00711	2011-06-21 14:14:34 -0700	[diff] [blame]	27	Define a simple predicate and test it:
				28
Michael Ochmann	b99feab	2016-07-06 14:10:22 +0200	[diff] [blame]	29	----
Shawn O. Pearce	5e00711	2011-06-21 14:14:34 -0700	[diff] [blame]	30	$ cat >simple.pl
				31	food(apple).
				32	food(orange).
				33	^D
				34
				35	$ java -jar gerrit.war prolog-shell -s simple.pl
				36	Gerrit Code Review 2.2.1-84-ge9c3992 - Interactive Prolog Shell
				37	based on Prolog Cafe 1.2.5 (mantis)
				38	Copyright(C) 1997-2009 M.Banbara and N.Tamura
				39	(type Ctrl-D or "halt." to exit, "['path/to/file.pl']." to load a file)
				40
David Pursehouse	64df83a	2017-07-04 21:20:47 +0900	[diff] [blame]	41	{consulting /usr/local/google/users/sop/gerrit/gerrit/simple.pl ...}
				42	{/usr/local/google/users/sop/gerrit/gerrit/simple.pl consulted 99 msec}
Shawn O. Pearce	5e00711	2011-06-21 14:14:34 -0700	[diff] [blame]	43
				44	\| ?- food(Type).
				45
				46	Type = apple ? ;
				47
				48	Type = orange ? ;
				49
				50	no
				51	\| ?-
Michael Ochmann	b99feab	2016-07-06 14:10:22 +0200	[diff] [blame]	52	----
Shawn O. Pearce	5e00711	2011-06-21 14:14:34 -0700	[diff] [blame]	53
				54	GERRIT
				55	------
				56	Part of link:index.html[Gerrit Code Review]
Yuxuan 'fishy' Wang	99cb68d	2013-10-31 17:26:00 -0700	[diff] [blame]	57
				58	SEARCHBOX
				59	---------