diff options
Diffstat (limited to 'branch-master/datalog-api.html')
| -rw-r--r-- | branch-master/datalog-api.html | 196 |
1 files changed, 25 insertions, 171 deletions
diff --git a/branch-master/datalog-api.html b/branch-master/datalog-api.html index 78ff6771..a4929de3 100644 --- a/branch-master/datalog-api.html +++ b/branch-master/datalog-api.html @@ -37,7 +37,7 @@ namespace. </ul> <span class="toc-header">Namespaces</span> <ul id="left-sidebar-list"> - <li><a href="accumulators-api.html" class="wiki_link">accumulators</a></li><li><a href="agent-utils-api.html" class="wiki_link">agent-utils</a></li><li><a href="base64-api.html" class="wiki_link">base64</a></li><li><a href="classpath-api.html" class="wiki_link">classpath</a></li><li><a href="combinatorics-api.html" class="wiki_link">combinatorics</a></li><li><a href="command-line-api.html" class="wiki_link">command-line</a></li><li><a href="complex-numbers-api.html" class="wiki_link">complex-numbers</a></li><li><a href="cond-api.html" class="wiki_link">cond</a></li><li><a href="condition-api.html" class="wiki_link">condition</a></li><li><a href="core-api.html" class="wiki_link">core</a></li><li><a href="dataflow-api.html" class="wiki_link">dataflow</a></li><li><a href="datalog-api.html" class="wiki_link">datalog</a></li><li><a href="def-api.html" class="wiki_link">def</a></li><li><a href="error-kit-api.html" class="wiki_link">error-kit</a></li><li><a href="except-api.html" class="wiki_link">except</a></li><li><a href="fcase-api.html" class="wiki_link">fcase</a></li><li><a href="find-namespaces-api.html" class="wiki_link">find-namespaces</a></li><li><a href="fnmap-api.html" class="wiki_link">fnmap</a></li><li><a href="gen-html-docs-api.html" class="wiki_link">gen-html-docs</a></li><li><a href="generic.arithmetic-api.html" class="wiki_link">generic.arithmetic</a></li><li><a href="generic.collection-api.html" class="wiki_link">generic.collection</a></li><li><a href="generic.comparison-api.html" class="wiki_link">generic.comparison</a></li><li><a href="generic.functor-api.html" class="wiki_link">generic.functor</a></li><li><a href="generic.math-functions-api.html" class="wiki_link">generic.math-functions</a></li><li><a href="graph-api.html" class="wiki_link">graph</a></li><li><a href="greatest-least-api.html" class="wiki_link">greatest-least</a></li><li><a href="import-static-api.html" class="wiki_link">import-static</a></li><li><a href="io-api.html" class="wiki_link">io</a></li><li><a href="jar-api.html" class="wiki_link">jar</a></li><li><a href="java-utils-api.html" class="wiki_link">java-utils</a></li><li><a href="jmx-api.html" class="wiki_link">jmx</a></li><li><a href="json-api.html" class="wiki_link">json</a></li><li><a href="lazy-seqs-api.html" class="wiki_link">lazy-seqs</a></li><li><a href="lazy-xml-api.html" class="wiki_link">lazy-xml</a></li><li><a href="logging-api.html" class="wiki_link">logging</a></li><li><a href="macro-utils-api.html" class="wiki_link">macro-utils</a></li><li><a href="macros-api.html" class="wiki_link">macros</a></li><li><a href="map-utils-api.html" class="wiki_link">map-utils</a></li><li><a href="math-api.html" class="wiki_link">math</a></li><li><a href="miglayout-api.html" class="wiki_link">miglayout</a></li><li><a href="mmap-api.html" class="wiki_link">mmap</a></li><li><a href="mock-api.html" class="wiki_link">mock</a></li><li><a href="monadic-io-streams-api.html" class="wiki_link">monadic-io-streams</a></li><li><a href="monads-api.html" class="wiki_link">monads</a></li><li><a href="ns-utils-api.html" class="wiki_link">ns-utils</a></li><li><a href="priority-map-api.html" class="wiki_link">priority-map</a></li><li><a href="probabilities.finite-distributions-api.html" class="wiki_link">probabilities.finite-distributions</a></li><li><a href="probabilities.monte-carlo-api.html" class="wiki_link">probabilities.monte-carlo</a></li><li><a href="probabilities.random-numbers-api.html" class="wiki_link">probabilities.random-numbers</a></li><li><a href="profile-api.html" class="wiki_link">profile</a></li><li><a href="properties-api.html" class="wiki_link">properties</a></li><li><a href="prxml-api.html" class="wiki_link">prxml</a></li><li><a href="reflect-api.html" class="wiki_link">reflect</a></li><li><a href="repl-ln-api.html" class="wiki_link">repl-ln</a></li><li><a href="repl-utils-api.html" class="wiki_link">repl-utils</a></li><li><a href="seq-api.html" class="wiki_link">seq</a></li><li><a href="server-socket-api.html" class="wiki_link">server-socket</a></li><li><a href="set-api.html" class="wiki_link">set</a></li><li><a href="singleton-api.html" class="wiki_link">singleton</a></li><li><a href="sql-api.html" class="wiki_link">sql</a></li><li><a href="stream-utils-api.html" class="wiki_link">stream-utils</a></li><li><a href="string-api.html" class="wiki_link">string</a></li><li><a href="strint-api.html" class="wiki_link">strint</a></li><li><a href="swing-utils-api.html" class="wiki_link">swing-utils</a></li><li><a href="test-base64-api.html" class="wiki_link">test-base64</a></li><li><a href="trace-api.html" class="wiki_link">trace</a></li><li><a href="types-api.html" class="wiki_link">types</a></li><li><a href="with-ns-api.html" class="wiki_link">with-ns</a></li><li><a href="zip-filter-api.html" class="wiki_link">zip-filter</a></li> + <li><a href="accumulators-api.html" class="wiki_link">accumulators</a></li><li><a href="agent-utils-api.html" class="wiki_link">agent-utils</a></li><li><a href="base64-api.html" class="wiki_link">base64</a></li><li><a href="classpath-api.html" class="wiki_link">classpath</a></li><li><a href="combinatorics-api.html" class="wiki_link">combinatorics</a></li><li><a href="command-line-api.html" class="wiki_link">command-line</a></li><li><a href="complex-numbers-api.html" class="wiki_link">complex-numbers</a></li><li><a href="cond-api.html" class="wiki_link">cond</a></li><li><a href="condition-api.html" class="wiki_link">condition</a></li><li><a href="core-api.html" class="wiki_link">core</a></li><li><a href="dataflow-api.html" class="wiki_link">dataflow</a></li><li><a href="datalog-api.html" class="wiki_link">datalog</a></li><li><a href="def-api.html" class="wiki_link">def</a></li><li><a href="error-kit-api.html" class="wiki_link">error-kit</a></li><li><a href="except-api.html" class="wiki_link">except</a></li><li><a href="fcase-api.html" class="wiki_link">fcase</a></li><li><a href="find-namespaces-api.html" class="wiki_link">find-namespaces</a></li><li><a href="fnmap-api.html" class="wiki_link">fnmap</a></li><li><a href="gen-html-docs-api.html" class="wiki_link">gen-html-docs</a></li><li><a href="generic.arithmetic-api.html" class="wiki_link">generic.arithmetic</a></li><li><a href="generic.collection-api.html" class="wiki_link">generic.collection</a></li><li><a href="generic.comparison-api.html" class="wiki_link">generic.comparison</a></li><li><a href="generic.functor-api.html" class="wiki_link">generic.functor</a></li><li><a href="generic.math-functions-api.html" class="wiki_link">generic.math-functions</a></li><li><a href="graph-api.html" class="wiki_link">graph</a></li><li><a href="greatest-least-api.html" class="wiki_link">greatest-least</a></li><li><a href="import-static-api.html" class="wiki_link">import-static</a></li><li><a href="jar-api.html" class="wiki_link">jar</a></li><li><a href="java-utils-api.html" class="wiki_link">java-utils</a></li><li><a href="jmx-api.html" class="wiki_link">jmx</a></li><li><a href="json-api.html" class="wiki_link">json</a></li><li><a href="lazy-seqs-api.html" class="wiki_link">lazy-seqs</a></li><li><a href="lazy-xml-api.html" class="wiki_link">lazy-xml</a></li><li><a href="logging-api.html" class="wiki_link">logging</a></li><li><a href="macro-utils-api.html" class="wiki_link">macro-utils</a></li><li><a href="macros-api.html" class="wiki_link">macros</a></li><li><a href="map-utils-api.html" class="wiki_link">map-utils</a></li><li><a href="math-api.html" class="wiki_link">math</a></li><li><a href="miglayout-api.html" class="wiki_link">miglayout</a></li><li><a href="mmap-api.html" class="wiki_link">mmap</a></li><li><a href="mock-api.html" class="wiki_link">mock</a></li><li><a href="monadic-io-streams-api.html" class="wiki_link">monadic-io-streams</a></li><li><a href="monads-api.html" class="wiki_link">monads</a></li><li><a href="ns-utils-api.html" class="wiki_link">ns-utils</a></li><li><a href="priority-map-api.html" class="wiki_link">priority-map</a></li><li><a href="probabilities.finite-distributions-api.html" class="wiki_link">probabilities.finite-distributions</a></li><li><a href="probabilities.monte-carlo-api.html" class="wiki_link">probabilities.monte-carlo</a></li><li><a href="probabilities.random-numbers-api.html" class="wiki_link">probabilities.random-numbers</a></li><li><a href="profile-api.html" class="wiki_link">profile</a></li><li><a href="prxml-api.html" class="wiki_link">prxml</a></li><li><a href="reflect-api.html" class="wiki_link">reflect</a></li><li><a href="repl-ln-api.html" class="wiki_link">repl-ln</a></li><li><a href="repl-utils-api.html" class="wiki_link">repl-utils</a></li><li><a href="seq-api.html" class="wiki_link">seq</a></li><li><a href="server-socket-api.html" class="wiki_link">server-socket</a></li><li><a href="set-api.html" class="wiki_link">set</a></li><li><a href="singleton-api.html" class="wiki_link">singleton</a></li><li><a href="sql-api.html" class="wiki_link">sql</a></li><li><a href="stream-utils-api.html" class="wiki_link">stream-utils</a></li><li><a href="strint-api.html" class="wiki_link">strint</a></li><li><a href="swing-utils-api.html" class="wiki_link">swing-utils</a></li><li><a href="test-base64-api.html" class="wiki_link">test-base64</a></li><li><a href="trace-api.html" class="wiki_link">trace</a></li><li><a href="types-api.html" class="wiki_link">types</a></li><li><a href="with-ns-api.html" class="wiki_link">with-ns</a></li><li><a href="zip-filter-api.html" class="wiki_link">zip-filter</a></li> </ul> <div class="BranchTOC"> <span class="toc-header">Other Versions</span> @@ -102,50 +102,24 @@ namespace. </div><div style="margin-left: 1em;" class="toc-section"> <a href="#datalog.literals">datalog.literals</a> <div style="margin-left: 1em;" class="toc-entry"> - <a href="#clojure.contrib.datalog.literals/adorned-literal">adorned-literal</a> - </div><div style="margin-left: 1em;" class="toc-entry"> <a href="#clojure.contrib.datalog.literals/build-atom">build-atom</a> </div><div style="margin-left: 1em;" class="toc-entry"> - <a href="#clojure.contrib.datalog.literals/build-literal">build-literal</a> - </div><div style="margin-left: 1em;" class="toc-entry"> <a href="#clojure.contrib.datalog.literals/build-seed-bindings">build-seed-bindings</a> </div><div style="margin-left: 1em;" class="toc-entry"> <a href="#clojure.contrib.datalog.literals/delta-literal">delta-literal</a> </div><div style="margin-left: 1em;" class="toc-entry"> - <a href="#clojure.contrib.datalog.literals/display-literal">display-literal</a> - </div><div style="margin-left: 1em;" class="toc-entry"> <a href="#clojure.contrib.datalog.literals/get-adorned-bindings">get-adorned-bindings</a> </div><div style="margin-left: 1em;" class="toc-entry"> <a href="#clojure.contrib.datalog.literals/get-base-predicate">get-base-predicate</a> </div><div style="margin-left: 1em;" class="toc-entry"> - <a href="#clojure.contrib.datalog.literals/get-cs-from-vs">get-cs-from-vs</a> - </div><div style="margin-left: 1em;" class="toc-entry"> - <a href="#clojure.contrib.datalog.literals/get-self-bound-cs">get-self-bound-cs</a> - </div><div style="margin-left: 1em;" class="toc-entry"> - <a href="#clojure.contrib.datalog.literals/get-vs-from-cs">get-vs-from-cs</a> - </div><div style="margin-left: 1em;" class="toc-entry"> - <a href="#clojure.contrib.datalog.literals/join-literal">join-literal</a> - </div><div style="margin-left: 1em;" class="toc-entry"> - <a href="#clojure.contrib.datalog.literals/literal-appropriate?">literal-appropriate?</a> - </div><div style="margin-left: 1em;" class="toc-entry"> - <a href="#clojure.contrib.datalog.literals/literal-columns">literal-columns</a> - </div><div style="margin-left: 1em;" class="toc-entry"> <a href="#clojure.contrib.datalog.literals/literal-magic?">literal-magic?</a> </div><div style="margin-left: 1em;" class="toc-entry"> - <a href="#clojure.contrib.datalog.literals/literal-predicate">literal-predicate</a> - </div><div style="margin-left: 1em;" class="toc-entry"> - <a href="#clojure.contrib.datalog.literals/literal-vars">literal-vars</a> - </div><div style="margin-left: 1em;" class="toc-entry"> <a href="#clojure.contrib.datalog.literals/magic-literal">magic-literal</a> </div><div style="margin-left: 1em;" class="toc-entry"> <a href="#clojure.contrib.datalog.literals/negated-literal">negated-literal</a> </div><div style="margin-left: 1em;" class="toc-entry"> <a href="#clojure.contrib.datalog.literals/negated?">negated?</a> </div><div style="margin-left: 1em;" class="toc-entry"> - <a href="#clojure.contrib.datalog.literals/negative-vars">negative-vars</a> - </div><div style="margin-left: 1em;" class="toc-entry"> - <a href="#clojure.contrib.datalog.literals/positive-vars">positive-vars</a> - </div><div style="margin-left: 1em;" class="toc-entry"> <a href="#clojure.contrib.datalog.literals/positive?">positive?</a> </div><div style="margin-left: 1em;" class="toc-entry"> <a href="#clojure.contrib.datalog.literals/project-literal">project-literal</a> @@ -467,15 +441,6 @@ relation.</pre> <br /> <div id="var-entry"> <hr /> - <h2 id="clojure.contrib.datalog.literals/adorned-literal">adorned-literal</h2> - <span id="var-type">multimethod</span><br /> - <pre id="var-usage">No usage documentation available</pre> - <pre id="var-docstr">When passed a set of bound columns, returns the adorned literal</pre> - - - -</div><div id="var-entry"> - <hr /> <h2 id="clojure.contrib.datalog.literals/build-atom">build-atom</h2> <span id="var-type">function</span><br /> <pre id="var-usage">Usage: (build-atom f type) @@ -484,17 +449,7 @@ relation.</pre> atom.</pre> - -</div><div id="var-entry"> - <hr /> - <h2 id="clojure.contrib.datalog.literals/build-literal">build-literal</h2> - <span id="var-type">multimethod</span><br /> - <pre id="var-usage">No usage documentation available</pre> - <pre id="var-docstr">(Returns an unevaluated expression (to be used in macros) of a -literal.</pre> - - - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/literals.clj#L131" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.literals/build-seed-bindings">build-seed-bindings</h2> @@ -505,7 +460,7 @@ literal.</pre> its bound constants to new variables.</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/literals.clj#L301" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.literals/delta-literal">delta-literal</h2> @@ -515,16 +470,7 @@ its bound constants to new variables.</pre> <pre id="var-docstr">Given a literal l, return a delta version</pre> - -</div><div id="var-entry"> - <hr /> - <h2 id="clojure.contrib.datalog.literals/display-literal">display-literal</h2> - <span id="var-type">multimethod</span><br /> - <pre id="var-usage">No usage documentation available</pre> - <pre id="var-docstr">Converts a struct representing a literal to a normal list</pre> - - - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/literals.clj#L318" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.literals/get-adorned-bindings">get-adorned-bindings</h2> @@ -534,7 +480,7 @@ its bound constants to new variables.</pre> <pre id="var-docstr">Get the bindings from this adorned literal.</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/literals.clj#L269" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.literals/get-base-predicate">get-base-predicate</h2> @@ -544,63 +490,7 @@ its bound constants to new variables.</pre> <pre id="var-docstr">Get the base predicate from this predicate.</pre> - -</div><div id="var-entry"> - <hr /> - <h2 id="clojure.contrib.datalog.literals/get-cs-from-vs">get-cs-from-vs</h2> - <span id="var-type">multimethod</span><br /> - <pre id="var-usage">No usage documentation available</pre> - <pre id="var-docstr">From a set of vars, get the columns</pre> - - - -</div><div id="var-entry"> - <hr /> - <h2 id="clojure.contrib.datalog.literals/get-self-bound-cs">get-self-bound-cs</h2> - <span id="var-type">multimethod</span><br /> - <pre id="var-usage">No usage documentation available</pre> - <pre id="var-docstr">Get the columns that are bound withing the literal.</pre> - - - -</div><div id="var-entry"> - <hr /> - <h2 id="clojure.contrib.datalog.literals/get-vs-from-cs">get-vs-from-cs</h2> - <span id="var-type">multimethod</span><br /> - <pre id="var-usage">No usage documentation available</pre> - <pre id="var-docstr">From a set of columns, return the vars</pre> - - - -</div><div id="var-entry"> - <hr /> - <h2 id="clojure.contrib.datalog.literals/join-literal">join-literal</h2> - <span id="var-type">multimethod</span><br /> - <pre id="var-usage">No usage documentation available</pre> - <pre id="var-docstr">Given a database (db), a literal (lit) and a seq of bindings (bs), -return a new seq of bindings by joining this literal.</pre> - - - -</div><div id="var-entry"> - <hr /> - <h2 id="clojure.contrib.datalog.literals/literal-appropriate?">literal-appropriate?</h2> - <span id="var-type">multimethod</span><br /> - <pre id="var-usage">No usage documentation available</pre> - <pre id="var-docstr">When passed a set of bound vars, determines if this literal can be -used during this point of a SIP computation.</pre> - - - -</div><div id="var-entry"> - <hr /> - <h2 id="clojure.contrib.datalog.literals/literal-columns">literal-columns</h2> - <span id="var-type">multimethod</span><br /> - <pre id="var-usage">No usage documentation available</pre> - <pre id="var-docstr">Return the column names this applies to</pre> - - - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/literals.clj#L274" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.literals/literal-magic?">literal-magic?</h2> @@ -610,25 +500,7 @@ used during this point of a SIP computation.</pre> <pre id="var-docstr">Is this literal magic?</pre> - -</div><div id="var-entry"> - <hr /> - <h2 id="clojure.contrib.datalog.literals/literal-predicate">literal-predicate</h2> - <span id="var-type">multimethod</span><br /> - <pre id="var-usage">No usage documentation available</pre> - <pre id="var-docstr">Return the predicate/relation this conditional operates over</pre> - - - -</div><div id="var-entry"> - <hr /> - <h2 id="clojure.contrib.datalog.literals/literal-vars">literal-vars</h2> - <span id="var-type">multimethod</span><br /> - <pre id="var-usage">No usage documentation available</pre> - <pre id="var-docstr">Returns the logic vars used by this literal</pre> - - - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/literals.clj#L294" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.literals/magic-literal">magic-literal</h2> @@ -638,7 +510,7 @@ used during this point of a SIP computation.</pre> <pre id="var-docstr">Create a magic version of this adorned predicate.</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/literals.clj#L284" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.literals/negated-literal">negated-literal</h2> @@ -648,7 +520,7 @@ used during this point of a SIP computation.</pre> <pre id="var-docstr">Given a literal l, return a negated version</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/literals.clj#L312" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.literals/negated?">negated?</h2> @@ -658,25 +530,7 @@ used during this point of a SIP computation.</pre> <pre id="var-docstr">Is this literal a negated literal?</pre> - -</div><div id="var-entry"> - <hr /> - <h2 id="clojure.contrib.datalog.literals/negative-vars">negative-vars</h2> - <span id="var-type">multimethod</span><br /> - <pre id="var-usage">No usage documentation available</pre> - <pre id="var-docstr">Returns the logic vars used in a negative position</pre> - - - -</div><div id="var-entry"> - <hr /> - <h2 id="clojure.contrib.datalog.literals/positive-vars">positive-vars</h2> - <span id="var-type">multimethod</span><br /> - <pre id="var-usage">No usage documentation available</pre> - <pre id="var-docstr">Returns the logic vars used in a positive position</pre> - - - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/literals.clj#L110" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.literals/positive?">positive?</h2> @@ -686,7 +540,7 @@ used during this point of a SIP computation.</pre> <pre id="var-docstr">Is this a positive literal?</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/literals.clj#L115" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.literals/project-literal">project-literal</h2> @@ -698,7 +552,7 @@ used during this point of a SIP computation.</pre> db.</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/literals.clj#L391" id="var-source">Source</a> </div> <h2 id="namespace-name">datalog.magic</h2> <pre id="namespace-docstr"></pre> @@ -798,7 +652,7 @@ relation</pre> (<- (:head :x ?x :y ?y) (:body-1 :x ?x :y ?y) (:body-2 :z ?z) (not! :body-3 :x ?x) (if > ?y ?z))</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/rules.clj#L66" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.rules/?-">?-</h2> @@ -808,7 +662,7 @@ relation</pre> <pre id="var-docstr">Define a datalog query</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/rules.clj#L84" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.rules/all-predicates">all-predicates</h2> @@ -818,7 +672,7 @@ relation</pre> <pre id="var-docstr">Given a rules-set, return all defined predicates</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/rules.clj#L161" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.rules/apply-rule">apply-rule</h2> @@ -830,7 +684,7 @@ relation</pre> relation in db-2. The relation will be created if needed.</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/rules.clj#L182" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.rules/compute-sip">compute-sip</h2> @@ -842,7 +696,7 @@ rule. A set of intensional predicates should be provided to determine what should be adorned.</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/rules.clj#L98" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.rules/display-query">display-query</h2> @@ -852,7 +706,7 @@ determine what should be adorned.</pre> <pre id="var-docstr">Return a query in a readable format.</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/rules.clj#L37" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.rules/display-rule">display-rule</h2> @@ -862,7 +716,7 @@ determine what should be adorned.</pre> <pre id="var-docstr">Return the rule in a readable format.</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/rules.clj#L30" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.rules/is-safe?">is-safe?</h2> @@ -872,7 +726,7 @@ determine what should be adorned.</pre> <pre id="var-docstr">Is the rule safe according to the datalog protocol?</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/rules.clj#L45" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.rules/make-rules-set">make-rules-set</h2> @@ -883,7 +737,7 @@ determine what should be adorned.</pre> printing.</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/rules.clj#L127" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.rules/non-base-rules">non-base-rules</h2> @@ -893,7 +747,7 @@ printing.</pre> <pre id="var-docstr">Return a collection of rules that depend, somehow, on other rules</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/rules.clj#L166" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.rules/predicate-map">predicate-map</h2> @@ -904,7 +758,7 @@ printing.</pre> Each value will be a set of rules.</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/rules.clj#L151" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.rules/return-rule-data">return-rule-data</h2> @@ -914,7 +768,7 @@ Each value will be a set of rules.</pre> <pre id="var-docstr">Returns an untypted rule that will be fully printed</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/rules.clj#L79" id="var-source">Source</a> </div><div id="var-entry"> <hr /> <h2 id="clojure.contrib.datalog.rules/rules-set">rules-set</h2> @@ -924,7 +778,7 @@ Each value will be a set of rules.</pre> <pre id="var-docstr">Given a collection of rules return a rules set</pre> - + <a href="http://github.com/clojure/clojure-contrib/blob/0f94c13af8becfa9eab18652572bab62fcb4c002/modules/datalog/src/main/clojure/clojure/contrib/datalog/rules.clj#L135" id="var-source">Source</a> </div> <h2 id="namespace-name">datalog.softstrat</h2> <pre id="namespace-docstr"></pre> |