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/clojure/contrib/datalog/literals.clj#L48" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.literals/literal-magic?">literal-magic?</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (literal-magic? lit) +</pre> + <pre id="var-docstr">Is this literal magic?</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L296" id="var-source">Source</a> +</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> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L44" id="var-source">Source</a> +</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/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L52" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.literals/magic-literal">magic-literal</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (magic-literal l) +</pre> + <pre id="var-docstr">Create a magic version of this adorned predicate.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L286" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.literals/negated-literal">negated-literal</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (negated-literal l) +</pre> + <pre id="var-docstr">Given a literal l, return a negated version</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L314" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.literals/negated?">negated?</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (negated? l) +</pre> + <pre id="var-docstr">Is this literal a negated literal?</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L112" id="var-source">Source</a> +</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> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L60" id="var-source">Source</a> +</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/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L56" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.literals/positive?">positive?</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (positive? l) +</pre> + <pre id="var-docstr">Is this a positive literal?</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L117" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.literals/project-literal">project-literal</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (project-literal db lit bs) + (project-literal db lit bs var?) +</pre> + <pre id="var-docstr">Project a stream of bindings onto a literal/relation. Returns a new +db.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/245fc9ec4499219bfb66f3fe4789b884b418c7b2/src/clojure/contrib/datalog/literals.clj#L393" id="var-source">Source</a> +</div> +<h2 id="namespace-name">datalog.magic</h2> +<pre id="namespace-docstr"></pre> + + +<br /> +<div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.magic/adorn-query">adorn-query</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (adorn-query q) +</pre> + <pre id="var-docstr">Adorn a query</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/clojure/contrib/datalog/magic.clj#L26" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.magic/adorn-rules-set">adorn-rules-set</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (adorn-rules-set rs q) +</pre> + <pre id="var-docstr">Adorns the given rules-set for the given query. (rs) is a +rules-set, (q) is an adorned query.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/clojure/contrib/datalog/magic.clj#L31" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.magic/build-partial-tuple">build-partial-tuple</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (build-partial-tuple q bindings) +</pre> + <pre id="var-docstr">Given a query and a set of bindings, build a partial tuple needed +to extract the relation from the database.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/clojure/contrib/datalog/magic.clj#L78" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.magic/magic-transform">magic-transform</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (magic-transform rs) + (magic-transform rs i-preds) +</pre> + <pre id="var-docstr">Return a magic transformation of an adorned rules-set (rs). The +(i-preds) are the predicates of the intension database. These +default to the predicates within the rules-set.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/clojure/contrib/datalog/magic.clj#L98" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.magic/seed-predicate-for-insertion">seed-predicate-for-insertion</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (seed-predicate-for-insertion q) +</pre> + <pre id="var-docstr">Given a query, return the predicate to use for database insertion.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/clojure/contrib/datalog/magic.clj#L90" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.magic/seed-relation">seed-relation</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (seed-relation q) +</pre> + <pre id="var-docstr">Given a magic form of a query, give back the literal form of its seed +relation</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/clojure/contrib/datalog/magic.clj#L63" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.magic/seed-rule">seed-rule</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (seed-rule q) +</pre> + <pre id="var-docstr">Given an adorned query, give back its seed rule</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/clojure/contrib/datalog/magic.clj#L71" id="var-source">Source</a> +</div> +<h2 id="namespace-name">datalog.rules</h2> +<pre id="namespace-docstr"></pre> + + +<br /> +<div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.rules/<-"><-</h2> + <span id="var-type">macro</span><br /> + <pre id="var-usage">Usage: (<- hd & body) +</pre> + <pre id="var-docstr">Build a datalog rule. Like this: + +(<- (: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/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/clojure/contrib/datalog/rules.clj#L66" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.rules/?-">?-</h2> + <span id="var-type">macro</span><br /> + <pre id="var-usage">Usage: (?- & q) +</pre> + <pre id="var-docstr">Define a datalog query</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/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> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (all-predicates rs) +</pre> + <pre id="var-docstr">Given a rules-set, return all defined predicates</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/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> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (apply-rule db rule) + (apply-rule db-1 db-2 rule) +</pre> + <pre id="var-docstr">Apply the rule against db-1, adding the results to the appropriate +relation in db-2. The relation will be created if needed.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/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> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (compute-sip bindings i-preds rule) +</pre> + <pre id="var-docstr">Given a set of bound column names, return an adorned sip for this +rule. A set of intensional predicates should be provided to +determine what should be adorned.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/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> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (display-query query) +</pre> + <pre id="var-docstr">Return a query in a readable format.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/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> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (display-rule rule) +</pre> + <pre id="var-docstr">Return the rule in a readable format.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/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> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (is-safe? rule) +</pre> + <pre id="var-docstr">Is the rule safe according to the datalog protocol?</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/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> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (make-rules-set rs) +</pre> + <pre id="var-docstr">Given an existing set of rules, make it a 'rules-set' for +printing.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/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> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (non-base-rules rs) +</pre> + <pre id="var-docstr">Return a collection of rules that depend, somehow, on other rules</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/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> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (predicate-map rs) +</pre> + <pre id="var-docstr">Given a rules-set, return a map of rules keyed by their predicates. +Each value will be a set of rules.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/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> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (return-rule-data rule) +</pre> + <pre id="var-docstr">Returns an untypted rule that will be fully printed</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/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> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (rules-set & rules) +</pre> + <pre id="var-docstr">Given a collection of rules return a rules set</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/clojure/contrib/datalog/rules.clj#L135" id="var-source">Source</a> +</div> +<h2 id="namespace-name">datalog.softstrat</h2> +<pre id="namespace-docstr"></pre> + + +<br /> +<div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.softstrat/build-soft-strat-work-plan">build-soft-strat-work-plan</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (build-soft-strat-work-plan rs q) +</pre> + <pre id="var-docstr">Return a work plan for the given rules-set and query</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/clojure/contrib/datalog/softstrat.clj#L115" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.softstrat/get-all-relations">get-all-relations</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (get-all-relations ws) +</pre> + <pre id="var-docstr">Return a set of all relation names defined in this workplan</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/7dfd0d90b11f00de5ad1ad30c690a4f12d426c3b/src/clojure/contrib/datalog/softstrat.clj#L121" id="var-source">Source</a> +</div> +<h2 id="namespace-name">datalog.util</h2> +<pre id="namespace-docstr"></pre> + + +<br /> +<div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.util/is-query-var?">is-query-var?</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (is-query-var? sym) +</pre> + <pre id="var-docstr">Is this a query variable: e.g. a symbol prefixed with ??</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/82f5ad11ff5d75f19de6bf5cfcf33b571592c89e/src/clojure/contrib/datalog/util.clj#L33" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.util/is-var?">is-var?</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (is-var? sym) +</pre> + <pre id="var-docstr">Is this a logic variable: e.g. a symbol prefixed with a ?</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/82f5ad11ff5d75f19de6bf5cfcf33b571592c89e/src/clojure/contrib/datalog/util.clj#L25" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.util/keys-to-vals">keys-to-vals</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (keys-to-vals m ks) +</pre> + <pre id="var-docstr">Given a map and a collection of keys, return the collection of vals</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/82f5ad11ff5d75f19de6bf5cfcf33b571592c89e/src/clojure/contrib/datalog/util.clj#L49" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.util/map-values">map-values</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (map-values f hash) +</pre> + <pre id="var-docstr">Like map, but works over the values of a hash map</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/82f5ad11ff5d75f19de6bf5cfcf33b571592c89e/src/clojure/contrib/datalog/util.clj#L41" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.util/preduce">preduce</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (preduce f data) +</pre> + <pre id="var-docstr">Similar to merge-with, but the contents of each key are merged in +parallel using f. + +f - a function of 2 arguments. +data - a collection of hashes.</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/82f5ad11ff5d75f19de6bf5cfcf33b571592c89e/src/clojure/contrib/datalog/util.clj#L62" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.util/reverse-map">reverse-map</h2> + <span id="var-type">function</span><br /> + <pre id="var-usage">Usage: (reverse-map m) +</pre> + <pre id="var-docstr">Reverse the keys/values of a map</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/82f5ad11ff5d75f19de6bf5cfcf33b571592c89e/src/clojure/contrib/datalog/util.clj#L54" id="var-source">Source</a> +</div><div id="var-entry"> + <hr /> + <h2 id="clojure.contrib.datalog.util/trace-datalog">trace-datalog</h2> + <span id="var-type">macro</span><br /> + <pre id="var-usage">Usage: (trace-datalog & body) +</pre> + <pre id="var-docstr">If *test-datalog* is set to true, run the enclosed commands</pre> + + + <a href="http://github.com/richhickey/clojure-contrib/blob/82f5ad11ff5d75f19de6bf5cfcf33b571592c89e/src/clojure/contrib/datalog/util.clj#L82" id="var-source">Source</a> +</div> + </div> </div> |