CrossClj

0.1.1 docs

SourceDocs



RECENT
    VARS
    ->DatalogRule
    <-
    ?-
    all-predicates
    apply-rule
    apply-rules-set
    build-rule
    compute-sip
    display-query
    display-rule
    empty-bindings
    empty-rules-set
    is-safe?
    make-rules-set
    map->DatalogRule
    non-base-rules
    predicate-map
    return-rule-data
    rules-set

    « Index of all namespaces of this project

    (->DatalogRule head body)
    Positional factory function for class datalog.rules.DatalogRule.
    
    macro
    (<- hd & body)
    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))
    macro
    (?- & q)
    Define a datalog query
    
    (all-predicates rs)
    Given a rules-set, return all defined predicates
    
    (apply-rule db rule)(apply-rule db-1 db-2 rule)
    Apply the rule against db-1, adding the results to the appropriate
    relation in db-2.  The relation will be created if needed.
    (apply-rules-set db rs)
    (build-rule hd bd)
    (compute-sip bindings i-preds rule)
    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.
    (display-query query)
    Return a query in a readable format.
    
    (display-rule rule)
    Return the rule in a readable format.
    
    (is-safe? rule)
    Is the rule safe according to the datalog protocol?
    
    (make-rules-set rs)
    Given an existing set of rules, make it a 'rules-set' for
    printing.
    (map->DatalogRule m__7585__auto__)
    Factory function for class datalog.rules.DatalogRule, taking a map of keywords to field values.
    
    (non-base-rules rs)
    Return a collection of rules that depend, somehow, on other rules
    
    (predicate-map rs)
    Given a rules-set, return a map of rules keyed by their predicates.
    Each value will be a set of rules.
    (return-rule-data rule)
    Returns an untypted rule that will be fully printed
    
    (rules-set & rules)
    Given a collection of rules return a rules set