diff options
Diffstat (limited to 'branch-1.1.x/datalog-api.html')
| -rw-r--r-- | branch-1.1.x/datalog-api.html | 954 |
1 files changed, 952 insertions, 2 deletions
diff --git a/branch-1.1.x/datalog-api.html b/branch-1.1.x/datalog-api.html index 085a3ff1..9caf0d22 100644 --- a/branch-1.1.x/datalog-api.html +++ b/branch-1.1.x/datalog-api.html @@ -40,7 +40,7 @@ namespace. <a class="wiki_link" href="api-index.html">API Index</a><br /> <a class="wiki_link" href="#">Namespaces:</a> <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="apply-macro-api.html" class="wiki_link">apply-macro</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="duck-streams-api.html" class="wiki_link">duck-streams</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="http.agent-api.html" class="wiki_link">http.agent</a></li><li><a href="http.connection-api.html" class="wiki_link">http.connection</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.read-api.html" class="wiki_link">json.read</a></li><li><a href="json.write-api.html" class="wiki_link">json.write</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="pprint-api.html" class="wiki_link">pprint</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="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-utils-api.html" class="wiki_link">seq-utils</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="shell-out-api.html" class="wiki_link">shell-out</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="str-utils-api.html" class="wiki_link">str-utils</a></li><li><a href="str-utils2-api.html" class="wiki_link">str-utils2</a></li><li><a href="stream-utils-api.html" class="wiki_link">stream-utils</a></li><li><a href="swing-utils-api.html" class="wiki_link">swing-utils</a></li><li><a href="test-is-api.html" class="wiki_link">test-is</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="apply-macro-api.html" class="wiki_link">apply-macro</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="duck-streams-api.html" class="wiki_link">duck-streams</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="http.agent-api.html" class="wiki_link">http.agent</a></li><li><a href="http.connection-api.html" class="wiki_link">http.connection</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="javadoc.browse-api.html" class="wiki_link">javadoc.browse</a></li><li><a href="jmx-api.html" class="wiki_link">jmx</a></li><li><a href="json.read-api.html" class="wiki_link">json.read</a></li><li><a href="json.write-api.html" class="wiki_link">json.write</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="pprint-api.html" class="wiki_link">pprint</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="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-utils-api.html" class="wiki_link">seq-utils</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="shell-out-api.html" class="wiki_link">shell-out</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="str-utils-api.html" class="wiki_link">str-utils</a></li><li><a href="str-utils2-api.html" class="wiki_link">str-utils2</a></li><li><a href="stream-utils-api.html" class="wiki_link">stream-utils</a></li><li><a href="swing-utils-api.html" class="wiki_link">swing-utils</a></li><li><a href="test-is-api.html" class="wiki_link">test-is</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> </div> @@ -53,7 +53,173 @@ namespace. <h1 class="nopad">Table of Contents</h1> <div style="margin-left: 1em;" class="toc-section"> <a href="#toc0">Overview</a> - + <div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog/build-work-plan">build-work-plan</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog/run-work-plan">run-work-plan</a> + </div> + <br /> + </div><div style="margin-left: 1em;" class="toc-section"> + <a href="#datalog.database">datalog.database</a> + <div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/add-index">add-index</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/add-relation">add-relation</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/add-tuple">add-tuple</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/add-tuples">add-tuples</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/any-match?">any-match?</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/database-counts">database-counts</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/database-merge">database-merge</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/database-merge-parallel">database-merge-parallel</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/datalog-relation">datalog-relation</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/ensure-relation">ensure-relation</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/get-relation">get-relation</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/make-database">make-database</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/merge-relations">merge-relations</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/remove-tuple">remove-tuple</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/replace-relation">replace-relation</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.database/select">select</a> + </div> + <br /> + </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> + </div> + <br /> + </div><div style="margin-left: 1em;" class="toc-section"> + <a href="#datalog.magic">datalog.magic</a> + <div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.magic/adorn-query">adorn-query</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.magic/adorn-rules-set">adorn-rules-set</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.magic/build-partial-tuple">build-partial-tuple</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.magic/magic-transform">magic-transform</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.magic/seed-predicate-for-insertion">seed-predicate-for-insertion</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.magic/seed-relation">seed-relation</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.magic/seed-rule">seed-rule</a> + </div> + <br /> + </div><div style="margin-left: 1em;" class="toc-section"> + <a href="#datalog.rules">datalog.rules</a> + <div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.rules/<-"><-</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.rules/?-">?-</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.rules/all-predicates">all-predicates</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.rules/apply-rule">apply-rule</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.rules/compute-sip">compute-sip</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.rules/display-query">display-query</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.rules/display-rule">display-rule</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.rules/is-safe?">is-safe?</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.rules/make-rules-set">make-rules-set</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.rules/non-base-rules">non-base-rules</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.rules/predicate-map">predicate-map</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.rules/return-rule-data">return-rule-data</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.rules/rules-set">rules-set</a> + </div> + <br /> + </div><div style="margin-left: 1em;" class="toc-section"> + <a href="#datalog.softstrat">datalog.softstrat</a> + <div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.softstrat/build-soft-strat-work-plan">build-soft-strat-work-plan</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.softstrat/get-all-relations">get-all-relations</a> + </div> + <br /> + </div><div style="margin-left: 1em;" class="toc-section"> + <a href="#datalog.util">datalog.util</a> + <div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.util/is-query-var?">is-query-var?</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.util/is-var?">is-var?</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.util/keys-to-vals">keys-to-vals</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.util/map-values">map-values</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.util/preduce">preduce</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.util/reverse-map">reverse-map</a> + </div><div style="margin-left: 1em;" class="toc-entry"> + <a href="#clojure.contrib.datalog.util/trace-datalog">trace-datalog</a> + </div> <br /> </div> </div> @@ -76,8 +242,792 @@ by <span id="author">Jeffrey Straszheim</span><br /> <br /><a href="doc/datalog.html">An Overview of Datalog</a> <br /></span><br /> </span><h2>Public Variables and Functions</h2> +<div id="var-entry"> + <br /> + <hr /> + <h2 id="clojure.contrib.datalog/build-work-plan">build-work-plan</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (build-work-plan rules query) +</pre> + <pre id="var-docstr">Given a list of rules and a query, build a work plan that can be +used to execute the query.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/ab7e1757c4de4c5d05b8c286646c152d19e29825/src/clojure/contrib/datalog.clj#L46" id="var-source">Source</a> +</div><div id="var-entry"> + <br /> + <hr /> + <h2 id="clojure.contrib.datalog/run-work-plan">run-work-plan</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (run-work-plan work-plan database query-bindings) +</pre> + <pre id="var-docstr">Given a work plan, a database, and some query bindings, run the +work plan and return the results.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/ab7e1757c4de4c5d05b8c286646c152d19e29825/src/clojure/contrib/datalog.clj#L56" id="var-source">Source</a> +</div> +<h2 id="namespace-name">datalog.database</h2> +<pre id="namespace-docstr"></pre> + + +<br /> +<div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/add-index">add-index</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (add-index db name key) +</pre> + <pre id="var-docstr">Adds an index to an empty relation named name</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L85" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/add-relation">add-relation</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (add-relation db name keys) +</pre> + <pre id="var-docstr">Adds a relation to the database</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L80" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/add-tuple">add-tuple</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (add-tuple db rel-name tuple) + (add-tuple rel tuple) +</pre> + <pre id="var-docstr">Two forms: + +[db relation-name tuple] adds tuple to the named relation. Returns +the new database. + +[rel tuple] adds to the relation object. Returns the new relation.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L171" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/add-tuples">add-tuples</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (add-tuples db & tupls) +</pre> + <pre id="var-docstr">Adds a collection of tuples to the db, as +(add-tuples db + [:rel-name :key-1 1 :key-2 2] + [:rel-name :key-1 2 :key-2 3])</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L206" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/any-match?">any-match?</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (any-match? db rn pt) +</pre> + <pre id="var-docstr">Finds if there are any matching records for the partial tuple</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L252" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/database-counts">database-counts</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (database-counts db) +</pre> + <pre id="var-docstr">Returns a map with the count of elements in each relation.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L143" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/database-merge">database-merge</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (database-merge dbs) +</pre> + <pre id="var-docstr">Merges databases together</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L276" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/database-merge-parallel">database-merge-parallel</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (database-merge-parallel dbs) +</pre> + <pre id="var-docstr">Merges databases together in parallel</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L281" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/datalog-relation">datalog-relation</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (datalog-relation schema data indexes) +</pre> + <pre id="var-docstr">Creates a relation</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L75" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/ensure-relation">ensure-relation</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (ensure-relation db name keys indexes) +</pre> + <pre id="var-docstr">If the database lacks the named relation, add it</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L95" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/get-relation">get-relation</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (get-relation db rel-name) +</pre> + <pre id="var-docstr">Get a relation object by name</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L129" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/make-database">make-database</h2> + <span id="var-type">macro</span><br /> + <pre id="var-usage">Usage: (make-database & commands) +</pre> + <pre id="var-docstr">Makes a database, like this +(make-database + (relation :fred [:mary :sue]) + (index :fred :mary) + (relation :sally [:jen :becky]) + (index :sally :jen) + (index :sally :becky))</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L108" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/merge-relations">merge-relations</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (merge-relations r1 r2) +</pre> + <pre id="var-docstr">Merges two relations</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L266" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/remove-tuple">remove-tuple</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (remove-tuple db rel-name tuple) + (remove-tuple rel tuple) +</pre> + <pre id="var-docstr">Two forms: + +[db relation-name tuple] removes the tuple from the named relation, +returns a new database. + +[rel tuple] removes the tuple from the relation. Returns the new +relation.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L189" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/replace-relation">replace-relation</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (replace-relation db rel-name rel) +</pre> + <pre id="var-docstr">Add or replace a fully constructed relation object to the database.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L134" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.database/select">select</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (select db rn pt) +</pre> + <pre id="var-docstr">finds all matching tuples to the partial tuple (pt) in the relation named (rn)</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/f087e3a7f8b2f2ca48c07db2a47724ce7b98dce7/src/clojure/contrib/datalog/database.clj#L247" id="var-source">Source</a> +</div> +<h2 id="namespace-name">datalog.literals</h2> +<pre id="namespace-docstr"></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> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L254" id="var-source">Source</a> +</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) +</pre> + <pre id="var-docstr">Returns an unevaluated expression (to be used in a macro) of an +atom.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L133" id="var-source">Source</a> +</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/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L128" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.literals/build-seed-bindings">build-seed-bindings</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (build-seed-bindings s) +</pre> + <pre id="var-docstr">Given a seed literal, already adorned and in magic form, convert +its bound constants to new variables.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L303" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.literals/delta-literal">delta-literal</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (delta-literal l) +</pre> + <pre id="var-docstr">Given a literal l, return a delta version</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L320" id="var-source">Source</a> +</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/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L164" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.literals/get-adorned-bindings">get-adorned-bindings</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (get-adorned-bindings pred) +</pre> + <pre id="var-docstr">Get the bindings from this adorned literal.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L271" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.literals/get-base-predicate">get-base-predicate</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (get-base-predicate pred) +</pre> + <pre id="var-docstr">Get the base predicate from this predicate.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L276" id="var-source">Source</a> +</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> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L202" id="var-source">Source</a> +</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> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L219" id="var-source">Source</a> +</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> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L187" id="var-source">Source</a> +</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> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L361" id="var-source">Source</a> +</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> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L236" id="var-source">Source</a> +</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/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/ |