blob: 93e132de49cd53804b32dcefcce5d2d8764b47cc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
;; Copyright (c) Jeffrey Straszheim. All rights reserved. The use and
;; distribution terms for this software are covered by the Eclipse Public
;; License 1.0 (http://opensource.org/licenses/eclipse-1.0.php) which can
;; be found in the file epl-v10.html at the root of this distribution. By
;; using this software in any fashion, you are agreeing to be bound by the
;; terms of this license. You must not remove this notice, or any other,
;; from this software.
;;
;; datalog.clj
;;
;; A Clojure implementation of Datalog
;;
;; straszheimjeffrey (gmail)
;; Created 2 March 2009
;;; Please see the example.clj file in the datalog folder
(ns
#^{:author "Jeffrey Straszheim",
:doc "A Clojure implementation of Datalog"}
clojure.contrib.datalog
(:use clojure.contrib.datalog.rules
clojure.contrib.datalog.softstrat
clojure.contrib.datalog.database)
(:use [clojure.set :only (intersection)]
[clojure.contrib.except :only (throwf)]))
(defstruct work-plan
:work-plan ; The underlying structure
:rules ; The original rules
:query ; The original query
:work-plan-type) ; The type of plan
(defn- validate-work-plan
"Ensure any top level semantics are not violated"
[work-plan database]
(let [common-relations (-> work-plan :rules (intersection (-> database keys set)))]
(when (-> common-relations
empty?
not)
(throwf "The rules and database define the same relation(s): %s" common-relations))))
; More will follow
(defn build-work-plan
"Given a list of rules and a query, build a work plan that can be
used to execute the query."
[rules query]
(struct-map work-plan
:work-plan (build-soft-strat-work-plan rules query)
:rules rules
:query query
:work-plan-type ::soft-stratified))
(defn run-work-plan
"Given a work plan, a database, and some query bindings, run the
work plan and return the results."
[work-plan database query-bindings]
(validate-work-plan work-plan database)
(evaluate-soft-work-set (:work-plan work-plan) database query-bindings))
;; End of file
|
