CrossClj

0.1.1 docs

SourceDocs



RECENT
    VARS
    ->SoftStratWorkPlan
    build-def
    build-rules-graph
    build-soft-strat
    build-soft-strat-work-plan
    evaluate-soft-work-set
    get-all-relations
    map->SoftStratWorkPlan
    req
    rule-dep
    soft-strat-graph
    weak-consq-operator

    « Index of all namespaces of this project

    (->SoftStratWorkPlan query stratification)
    Positional factory function for class datalog.softstrat.SoftStratWorkPlan.
    
    Private
    (build-def rs)
    Given a rules-set, build its def function
    
    Private
    (build-rules-graph rs)
    Given a rules-set (rs), build a graph where each predicate symbol in rs,
    there is a node n, and for each rule (<- h b-1 b-2 ...), there are edges
    from the (literal-predicate h) -> (literal-predicate b-*), one for each
    b-*.
    Private
    (build-soft-strat rs q)
    Given a rules-set (unadorned) and an adorned query, return the soft
    stratified list.  The rules will be magic transformed, and the
    magic seed will be appended.
    (build-soft-strat-work-plan rs q)
    Return a work plan for the given rules-set and query
    
    (evaluate-soft-work-set ws db)(evaluate-soft-work-set ws db bindings)
    (get-all-relations ws)
    Return a set of all relation names defined in this workplan
    
    (map->SoftStratWorkPlan m__7585__auto__)
    Factory function for class datalog.softstrat.SoftStratWorkPlan, taking a map of keywords to field values.
    
    Private
    (req rs soft-def rule lit-index)
    Returns a rules-set that is a superset of req(lit) for the lit at
    index lit-index
    Private
    (rule-dep rs mrs soft-def rule)
    Given a rule, return the set of rules it depends on.
    
    Private
    (soft-strat-graph rs mrs)
    The dependency graph for soft stratification.
    
    Private
    (weak-consq-operator db strat)