Liking cljdoc? Tell your friends :D
Clojure only.

fogus.reinen-vernunft.core

Most functions in reinen-vernunft work off of one or more of the following root concepts:

  • Entity: a hashmap with a :kb/id key mapped to a unique value and namespaced keys
  • Table: a set of hashmaps or Entities
  • Fact: a vector triple in the form [entity-id attribute value]
  • Relation: a set of Facts pertaining to a particular Entity
  • LVar: a symbol naming a logic variable that can bind to any value
  • Ground: a concrete value
  • Query: a set of Facts containing a mix of LVars and Grounds
  • Rules: a set of Facts describing synthetic relations
  • Production: a pair of: antecedent query and consequent Facts
  • KB: a set of Relations about many Entities and possibly containing Productions
Most functions in reinen-vernunft work off of one or more of the following root
concepts:

- Entity: a hashmap with a :kb/id key mapped to a unique value and namespaced keys
- Table: a set of hashmaps or Entities
- Fact: a vector triple in the form [entity-id attribute value]
- Relation: a set of Facts pertaining to a particular Entity
- LVar: a symbol naming a logic variable that can bind to any value
- Ground: a concrete value
- Query: a set of Facts containing a mix of LVars and Grounds  
- Rules: a set of Facts describing synthetic relations
- Production: a pair of: antecedent query and consequent Facts
- KB: a set of Relations about many Entities and possibly containing Productions
raw docstring

ID_KEYclj

lv?clj

map->relationclj

(map->relation entity)

Converts a map to a set of tuples for that map, applying a unique :kb/id if the map doesn't already have a value mapped for that key.

Converts a map to a set of tuples for that map, applying a unique
:kb/id if the map doesn't already have a value mapped for that key.
raw docstring

table->kbclj

(table->kb db)

Converts a Table into a KB, applying unique :kb/id to maps without a mapped identity value.

Converts a Table into a KB, applying unique :kb/id to maps without a
mapped identity value.
raw docstring

cljdoc is a website building & hosting documentation for Clojure/Script libraries

Keyboard shortcutsReport a problemcljdoc on GitHub
× close