From: Thomas Krennwallner Date: Mon, 18 Aug 2014 15:10:34 +0000 (+0100) Subject: Add gringo.1, clingo.1, and iclingo.1 manpages. X-Git-Tag: archive/raspbian/5.3.0-13+rpi1~1^2^2^2 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=fbd463be5a87551d322fd650fc63395705c97504;p=gringo.git Add gringo.1, clingo.1, and iclingo.1 manpages. =================================================================== Gbp-Pq: Name gringo-manpages.patch --- diff --git a/clingo.1 b/clingo.1 new file mode 100644 index 0000000..440d31e --- /dev/null +++ b/clingo.1 @@ -0,0 +1,55 @@ +.\" Hey, EMACS: -*- nroff -*- +.\" First parameter, NAME, should be all caps +.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection +.\" other parameters are allowed: see man(7), man(1) +.TH CLINGO 1 "March 4, 2010" +.\" Please adjust this date whenever revising the manpage. +.\" +.\" Some roff macros, for reference: +.\" .nh disable hyphenation +.\" .hy enable hyphenation +.\" .ad l left justify +.\" .ad b justify to both left and right margins +.\" .nf disable filling +.\" .fi enable filling +.\" .br insert line break +.\" .sp insert n+1 empty lines +.\" for manpage-specific macros, see man(7) +.SH NAME +clingo \- a combination of clasp and gringo +.SH SYNOPSIS +.B clingo +.RI [options] [files] +.SH DESCRIPTION +This manual page documents briefly the +.B clingo +command. +.PP +.\" TeX users may be more comfortable with the \fB\fP and +.\" \fI\fP escape sequences to invode bold face and italics, +.\" respectively. +\fBclingo\fP stands for clasp on gringo and combines both systems in a +monolithic way. Its input language is that of gringo and its output +corresponds to that of clasp. +.SH OPTIONS +These programs follow the usual GNU command line syntax, with long +options starting with two dashes (`-'). +A summary of options is included below. +For a complete description, see the potassco-guide. +.TP +.B \-h, \-\-help +Show summary of options. +.TP +.B \-v, \-\-version +Show version of program. +.SH SEE ALSO +.BR clasp (1), +.BR claspD (1), +.BR gringo (1), +.BR iclingo (1). +.br +.SH AUTHOR +clingo was written by Roland Kaminski +.PP +This manual page was written by Thomas Krennwallner , +for the Debian project (and may be used by others). diff --git a/gringo.1 b/gringo.1 new file mode 100644 index 0000000..a37ec88 --- /dev/null +++ b/gringo.1 @@ -0,0 +1,56 @@ +.\" Hey, EMACS: -*- nroff -*- +.\" First parameter, NAME, should be all caps +.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection +.\" other parameters are allowed: see man(7), man(1) +.TH GRINGO 1 "March 4, 2010" +.\" Please adjust this date whenever revising the manpage. +.\" +.\" Some roff macros, for reference: +.\" .nh disable hyphenation +.\" .hy enable hyphenation +.\" .ad l left justify +.\" .ad b justify to both left and right margins +.\" .nf disable filling +.\" .fi enable filling +.\" .br insert line break +.\" .sp insert n+1 empty lines +.\" for manpage-specific macros, see man(7) +.SH NAME +gringo \- a grounder for non-ground logic programs +.SH SYNOPSIS +.B gringo +.RI [options] [files] +.SH DESCRIPTION +This manual page documents briefly the +.B gringo +command. +.PP +.\" TeX users may be more comfortable with the \fB\fP and +.\" \fI\fP escape sequences to invode bold face and italics, +.\" respectively. +\fBgringo\fP is a grounder for non-ground answer set programs. Current +answer set solvers work on variable-free programs. Hence, a grounder +is needed that, given an input program with first-order variables, +computes an equivalent ground (variable-free) program. +.SH OPTIONS +These programs follow the usual GNU command line syntax, with long +options starting with two dashes (`-'). +A summary of options is included below. +For a complete description, see the potassco-guide. +.TP +.B \-h, \-\-help +Show summary of options. +.TP +.B \-v, \-\-version +Show version of program. +.SH SEE ALSO +.BR clasp (1), +.BR claspD (1), +.BR clingo (1), +.BR iclingo (1). +.br +.SH AUTHOR +gringo was written by Roland Kaminski +.PP +This manual page was written by Thomas Krennwallner , +for the Debian project (and may be used by others). diff --git a/iclingo.1 b/iclingo.1 new file mode 100644 index 0000000..f60352b --- /dev/null +++ b/iclingo.1 @@ -0,0 +1,61 @@ +.\" Hey, EMACS: -*- nroff -*- +.\" First parameter, NAME, should be all caps +.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection +.\" other parameters are allowed: see man(7), man(1) +.TH ICLINGO 1 "March 4, 2010" +.\" Please adjust this date whenever revising the manpage. +.\" +.\" Some roff macros, for reference: +.\" .nh disable hyphenation +.\" .hy enable hyphenation +.\" .ad l left justify +.\" .ad b justify to both left and right margins +.\" .nf disable filling +.\" .fi enable filling +.\" .br insert line break +.\" .sp insert n+1 empty lines +.\" for manpage-specific macros, see man(7) +.SH NAME +iclingo \- an incremental ASP system +.SH SYNOPSIS +.B iclingo +.RI [options] [files] +.SH DESCRIPTION +This manual page documents briefly the +.B iclingo +command. +.PP +.\" TeX users may be more comfortable with the \fB\fP and +.\" \fI\fP escape sequences to invode bold face and italics, +.\" respectively. +\fBiclingo\fP is an incremental ASP system implemented on top of +clingo. It is based on the idea that the grounder as well as the +solver are implemented in a stateful way. Thus, both keep their +previous states while increasing an incremental parameter. As regards +grounding, at each incremental step, the goal is to produce only +ground rules stemming from the current program slice, without +re-producing previous ground rules. The ground program slices are then +gradually passed to the solver that accumulates ground rules and +computes answer sets for them. +.SH OPTIONS +These programs follow the usual GNU command line syntax, with long +options starting with two dashes (`-'). +A summary of options is included below. +For a complete description, see the potassco-guide. +.TP +.B \-h, \-\-help +Show summary of options. +.TP +.B \-v, \-\-version +Show version of program. +.SH SEE ALSO +.BR clasp (1), +.BR claspD (1), +.BR clingo (1), +.BR gringo (1). +.br +.SH AUTHOR +iclingo was written by Roland Kaminski +.PP +This manual page was written by Thomas Krennwallner , +for the Debian project (and may be used by others).