Skip to content

Commit

Permalink
updated man
Browse files Browse the repository at this point in the history
  • Loading branch information
@friguzzi
friguzzi committed Dec 9, 2023
1 parent ef94c3a commit 49f33b4
Show file tree
Hide file tree
Showing 14 changed files with 95 additions and 31 deletions.
Binary file modified docs/_build/doctrees/environment.pickle
View file
Binary file not shown.
Binary file modified docs/_build/doctrees/index.doctree
View file
Binary file not shown.
12 changes: 12 additions & 0 deletions docs/_build/html/_sources/index.rst.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,18 @@ for the XSB version at `<http://xsb.sourceforge.net/manual2/manual2.pdf>`_.

cplint on SWISH is a web application for using cplint available at `<http://cplint.eu>`_.

Predicate Reference
===================

* `pita <https://friguzzi.github.io/cplint/docs/pldoc/pita.html>`_
* `mcintyre <https://friguzzi.github.io/cplint/docs/pldoc/mcintyre.html>`_
* `slipcover <https://friguzzi.github.io/cplint/docs/pldoc/slipcover.html>`_
* `viterbi <https://friguzzi.github.io/cplint/docs/pldoc/viterbi.html>`_
* `cplint_util <https://friguzzi.github.io/cplint/docs/pldoc/cplint_util.html>`_
* `kbest <https://friguzzi.github.io/cplint/docs/pldoc/kbest.html>`_
* `pitaind <https://friguzzi.github.io/cplint/docs/pldoc/pitaind.html>`_
* `lemur <https://friguzzi.github.io/cplint/docs/pldoc/lemur.html>`_

Installation
============
cplint is distributed as a `pack <http://www.swi-prolog.org/pack/list?p=cplint>`_ of `SWI-Prolog <http://www.swi-prolog.org/>`_.
Expand Down
16 changes: 16 additions & 0 deletions docs/_build/html/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,21 @@ <h2>Introduction<a class="headerlink" href="#introduction" title="Permalink to t
for the XSB version at <a class="reference external" href="http://xsb.sourceforge.net/manual2/manual2.pdf">http://xsb.sourceforge.net/manual2/manual2.pdf</a>.</p>
<p>cplint on SWISH is a web application for using cplint available at <a class="reference external" href="http://cplint.eu">http://cplint.eu</a>.</p>
</section>
<section id="predicate-reference">
<h2>Predicate Reference<a class="headerlink" href="#predicate-reference" title="Permalink to this headline"></a></h2>
<blockquote>
<div><ul class="simple">
<li><p><a class="reference external" href="https://friguzzi.github.io/cplint/docs/pldoc/pita.html">pita</a></p></li>
<li><p><a class="reference external" href="https://friguzzi.github.io/cplint/docs/pldoc/mcintyre.html">mcintyre</a></p></li>
<li><p><a class="reference external" href="https://friguzzi.github.io/cplint/docs/pldoc/slipcover.html">slipcover</a></p></li>
<li><p><a class="reference external" href="https://friguzzi.github.io/cplint/docs/pldoc/viterbi.html">viterbi</a></p></li>
<li><p><a class="reference external" href="https://friguzzi.github.io/cplint/docs/pldoc/cplint_util.html">cplint_util</a></p></li>
<li><p><a class="reference external" href="https://friguzzi.github.io/cplint/docs/pldoc/kbest.html">kbest</a></p></li>
<li><p><a class="reference external" href="https://friguzzi.github.io/cplint/docs/pldoc/pitaind.html">pitaind</a></p></li>
<li><p><a class="reference external" href="https://friguzzi.github.io/cplint/docs/pldoc/lemur.html">lemur</a></p></li>
</ul>
</div></blockquote>
</section>
<section id="installation">
<h2>Installation<a class="headerlink" href="#installation" title="Permalink to this headline"></a></h2>
<p>cplint is distributed as a <a class="reference external" href="http://www.swi-prolog.org/pack/list?p=cplint">pack</a> of <a class="reference external" href="http://www.swi-prolog.org/">SWI-Prolog</a>.
Expand Down Expand Up @@ -1849,6 +1864,7 @@ <h3><a href="#">Table of Contents</a></h3>
<ul>
<li><a class="reference internal" href="#">cplint - SWI-Prolog Version</a><ul>
<li><a class="reference internal" href="#introduction">Introduction</a></li>
<li><a class="reference internal" href="#predicate-reference">Predicate Reference</a></li>
<li><a class="reference internal" href="#installation">Installation</a><ul>
<li><a class="reference internal" href="#requirements">Requirements</a></li>
<li><a class="reference internal" href="#example-of-use">Example of use</a></li>
Expand Down
Binary file modified docs/_build/html/objects.inv
View file
Binary file not shown.
2 changes: 1 addition & 1 deletion docs/_build/html/searchindex.js
View file

Large diffs are not rendered by default.

Binary file modified docs/_build/latex/cplint.pdf
View file
Binary file not shown.
39 changes: 38 additions & 1 deletion docs/_build/latex/cplint.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,7 @@


\title{cplint Documentation}
\date{Dec 08, 2023}
\date{Dec 09, 2023}
\release{4.5}
\author{Riguzzi Fabrizio, Azzolini Damiano}
\newcommand{\sphinxlogo}{\vbox{}}
Expand Down Expand Up @@ -94,6 +94,43 @@ \chapter{Introduction}
cplint on SWISH is a web application for using cplint available at \sphinxurl{http://cplint.eu}.


\chapter{Predicate Reference}
\label{\detokenize{index:predicate-reference}}\begin{itemize}
\item {}
\sphinxAtStartPar
\sphinxhref{https://friguzzi.github.io/cplint/docs/pldoc/pita.html}{pita}

\item {}
\sphinxAtStartPar
\sphinxhref{https://friguzzi.github.io/cplint/docs/pldoc/mcintyre.html}{mcintyre}

\item {}
\sphinxAtStartPar
\sphinxhref{https://friguzzi.github.io/cplint/docs/pldoc/slipcover.html}{slipcover}

\item {}
\sphinxAtStartPar
\sphinxhref{https://friguzzi.github.io/cplint/docs/pldoc/viterbi.html}{viterbi}

\item {}
\sphinxAtStartPar
\sphinxhref{https://friguzzi.github.io/cplint/docs/pldoc/cplint\_util.html}{cplint\_util}

\item {}
\sphinxAtStartPar
\sphinxhref{https://friguzzi.github.io/cplint/docs/pldoc/kbest.html}{kbest}

\item {}
\sphinxAtStartPar
\sphinxhref{https://friguzzi.github.io/cplint/docs/pldoc/pitaind.html}{pitaind}

\item {}
\sphinxAtStartPar
\sphinxhref{https://friguzzi.github.io/cplint/docs/pldoc/lemur.html}{lemur}

\end{itemize}


\chapter{Installation}
\label{\detokenize{index:installation}}
\sphinxAtStartPar
Expand Down
12 changes: 12 additions & 0 deletions docs/index.rst
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,18 @@ for the XSB version at `<http://xsb.sourceforge.net/manual2/manual2.pdf>`_.

cplint on SWISH is a web application for using cplint available at `<http://cplint.eu>`_.

Predicate Reference
===================

* `pita <https://friguzzi.github.io/cplint/docs/pldoc/pita.html>`_
* `mcintyre <https://friguzzi.github.io/cplint/docs/pldoc/mcintyre.html>`_
* `slipcover <https://friguzzi.github.io/cplint/docs/pldoc/slipcover.html>`_
* `viterbi <https://friguzzi.github.io/cplint/docs/pldoc/viterbi.html>`_
* `cplint_util <https://friguzzi.github.io/cplint/docs/pldoc/cplint_util.html>`_
* `kbest <https://friguzzi.github.io/cplint/docs/pldoc/kbest.html>`_
* `pitaind <https://friguzzi.github.io/cplint/docs/pldoc/pitaind.html>`_
* `lemur <https://friguzzi.github.io/cplint/docs/pldoc/lemur.html>`_

Installation
============
cplint is distributed as a `pack <http://www.swi-prolog.org/pack/list?p=cplint>`_ of `SWI-Prolog <http://www.swi-prolog.org/>`_.
Expand Down
14 changes: 5 additions & 9 deletions docs/pldoc/lemur.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ <h1 class="file"><span style="float:right"></span>lemur.pl -- lemur</h1>
Machine Learning, 100(1):127-156, July 2015</p>

<p>
See <a href="http://friguzzi.github.io/cplint/_build/html/index.html">http://friguzzi.github.io/cplint/_build/html/index.html</a> for
See <a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a> for
details.</p>

<dl class="tags">
Expand All @@ -37,12 +37,10 @@ <h1 class="file"><span style="float:right"></span>lemur.pl -- lemur</h1>
It returns in <var>P</var> the learned probabilistic program.</dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="set_lm/2"><b class="pred">set_lm</b><var class="arglist">(:Parameter:atom, +Value:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate sets the value of a parameter
For a list of parameters see
<a href="https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf">https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf</a> or
<a href="http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html">http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html</a></dd>
<a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a></dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="setting_lm/2"><b class="pred">setting_lm</b><var class="arglist">(:Parameter:atom, -Value:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate returns the value of a parameter
For a list of parameters see
<a href="https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf">https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf</a> or
<a href="http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html">http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html</a></dd>
<a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a></dd>
</dl>

<h2 class="wiki">Re-exported predicates</h2>
Expand Down Expand Up @@ -126,8 +124,7 @@ <h2 class="wiki">Re-exported predicates</h2>
<var>Module</var> is used to store the information in the correct module</dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="set_sc/2"><b class="pred">set_sc</b><var class="arglist">(:Parameter:atom, +Value:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate sets the value of a parameter
For a list of parameters see
<a href="https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf">https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf</a> or
<a href="http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html">http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html</a></dd>
<a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a></dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="write_rules3/3"><b class="pred">write_rules3</b><var class="arglist">(+Module:atom, +Rules:list, +Stream:atom)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate write the rules in <var>Rules</var> on stream <var>Stream</var> if the verbosity is at least 3.
<var>Module</var> is used to get the verbosity setting.</dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="list2and/2"><b class="pred">list2and</b><var class="arglist">(+List:list, -And:term)</var></a> is <b class="det">det</b></dt>
Expand Down Expand Up @@ -169,8 +166,7 @@ <h2 class="wiki">Re-exported predicates</h2>
is [].</dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="setting_sc/2"><b class="pred">setting_sc</b><var class="arglist">(:Parameter:atom, -Value:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate returns the value of a parameter
For a list of parameters see
<a href="https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf">https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf</a> or
<a href="http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html">http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html</a></dd>
<a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a></dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="add_var/4"><b class="pred">add_var</b><var class="arglist">(++Environment:int, ++ProbabilityDistribution:list, ++Rule:int, -Variable:int)</var></a> is <b class="det">det</b></dt><dd class="defbody">Returns in <var>Variable</var> the index of a new random variable in <var>Environment</var> with
NumberOHeads values and probability distribution <var>ProbabilityDistribution</var>.</dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="ret_map_prob/4"><b class="pred">ret_map_prob</b><var class="arglist">(++Environment:int, ++BDD:int, -Probability:float, -MAPState:list)</var></a> is <b class="det">det</b></dt><dd class="defbody">Returns the MAP state MPAState of <var>BDD</var> and its <var>Probability</var>.
Expand Down
9 changes: 3 additions & 6 deletions docs/pldoc/mcintyre.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,8 +19,7 @@ <h1 class="file"><span style="float:right"></span>mcintyre.pl -- mcintyre</h1>
using sampling.</p>

<p>
See <a href="http://friguzzi.github.io/cplint/_build/html/index.html">http://friguzzi.github.io/cplint/_build/html/index.html</a> for
details.</p>
See <a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a> for details.</p>

<dl class="tags">
<dt class="keyword-author">author</dt><dd class="keyword-author">- Fabrizio Riguzzi</dd>
Expand Down Expand Up @@ -429,12 +428,10 @@ <h1 class="file"><span style="float:right"></span>mcintyre.pl -- mcintyre</h1>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="add_prob/3"><b class="pred">add_prob</b><var class="arglist">(?Prob:float, :Goal:atom, ?AnnGoal:atom)</var></a> is <b class="det">det</b></dt><dd class="defbody">From <var>Prob</var> and <var>Goal</var> builds the annotated atom <var>AnnGoal</var>=<var>Goal</var>:<var>Prob</var>.</dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="set_mc/2"><b class="pred">set_mc</b><var class="arglist">(:Parameter:atom, +Value:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate sets the value of a parameter
For a list of parameters see
<a href="https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf">https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf</a> or
<a href="http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html">http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html</a></dd>
<a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a></dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="setting_mc/2"><b class="pred">setting_mc</b><var class="arglist">(:Parameter:atom, ?Value:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate returns the value of a parameter
For a list of parameters see
<a href="https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf">https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf</a> or
<a href="http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html">http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html</a></dd>
<a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a></dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="set_sw/2"><b class="pred">set_sw</b><var class="arglist">(:Var:term, +List:lit)</var></a> is <b class="det">det</b></dt><dd class="defbody">Sets the domain of the random variable <var>Var</var> to <var>List</var>.
This is a predicate for programs in the PRISM syntax</dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="msw/2"><b class="pred">msw</b><var class="arglist">(:Var:term, ?Value:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">Gets or tests the <var>Value</var> of the random variable <var>Var</var>.
Expand Down
8 changes: 3 additions & 5 deletions docs/pldoc/pita.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ <h1 class="file"><span style="float:right"></span>pita.pl -- pita</h1>
It reads probabilistic program and computes the probability of queries.</p>

<p>
See <a href="http://friguzzi.github.io/cplint/_build/html/index.html">http://friguzzi.github.io/cplint/_build/html/index.html</a> for
See <a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a> for
details.</p>

<dl class="tags">
Expand Down Expand Up @@ -91,12 +91,10 @@ <h1 class="file"><span style="float:right"></span>pita.pl -- pita</h1>
This is a predicate for programs in the PRISM syntax</dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="set_pita/2"><b class="pred">set_pita</b><var class="arglist">(:Parameter:atom, +Value:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate sets the value of a parameter
For a list of parameters see
<a href="https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf">https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf</a> or
<a href="http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html">http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html</a></dd>
<a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a></dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="setting_pita/2"><b class="pred">setting_pita</b><var class="arglist">(:Parameter:atom, ?Value:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate returns the value of a parameter
For a list of parameters see
<a href="https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf">https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf</a> or
<a href="http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html">http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html</a></dd>
<a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a></dd>
</dl>

<h2 class="wiki">Re-exported predicates</h2>
Expand Down
6 changes: 2 additions & 4 deletions docs/pldoc/pitaind.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -67,12 +67,10 @@ <h1 class="file"><span style="float:right"></span>pitaind.pl -- pitaind</h1>
whose probabilities are in <var>ListOfProbs</var> assuming exclusiveness.</dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="set_pitaind/2"><b class="pred">set_pitaind</b><var class="arglist">(:Parameter:atom, +Value:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate sets the value of a parameter
For a list of parameters see
<a href="https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf">https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf</a> or
<a href="http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html">http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html</a></dd>
<a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a></dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="setting_pitaind/2"><b class="pred">setting_pitaind</b><var class="arglist">(:Parameter:atom, ?Value:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate returns the value of a parameter
For a list of parameters see
<a href="https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf">https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf</a> or
<a href="http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html">http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html</a></dd>
<a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a></dd>
</dl>

</body>
Expand Down
8 changes: 3 additions & 5 deletions docs/pldoc/slipcover.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ <h1 class="file"><span style="float:right"></span>slipcover.pl -- slipcover</h1>
It performs both parameter and structure learning.</p>

<p>
See <a href="http://friguzzi.github.io/cplint/_build/html/index.html">http://friguzzi.github.io/cplint/_build/html/index.html</a> for
See <a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a> for
details.</p>

<dl class="tags">
Expand Down Expand Up @@ -94,12 +94,10 @@ <h1 class="file"><span style="float:right"></span>slipcover.pl -- slipcover</h1>
data.</dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="set_sc/2"><b class="pred">set_sc</b><var class="arglist">(:Parameter:atom, +Value:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate sets the value of a parameter
For a list of parameters see
<a href="https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf">https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf</a> or
<a href="http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html">http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html</a></dd>
<a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a></dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="setting_sc/2"><b class="pred">setting_sc</b><var class="arglist">(:Parameter:atom, -Value:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate returns the value of a parameter
For a list of parameters see
<a href="https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf">https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf</a> or
<a href="http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html">http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html</a></dd>
<a href="https://friguzzi.github.io/cplint/">https://friguzzi.github.io/cplint/</a></dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="member_eq/2"><b class="pred">member_eq</b><var class="arglist">(+List:list, +Element:term)</var></a> is <b class="det">det</b></dt><dd class="defbody">Checks the presence of <var>Element</var> in <var>List</var>. Equality is checked with ==.</dd>
<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="generate_clauses/6"><b class="pred">generate_clauses</b><var class="arglist">(+Rules0:list, +Module:atom, +StartingIndex:integer, -Rules:list, +Clauses:list, -ClausesOut:list)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate generate the internal representation of rules to produce clauses to be
asserted in the database.
Expand Down

0 comments on commit 49f33b4

Please sign in to comment.