This is the facts Reference Manual, version 0.2, generated automatically by Declt version 4.0 beta 2 "William Riker" on Wed Mar 15 04:50:04 2023 GMT+0.
The main system appears first, followed by any subsystem dependency.
factsin-memory graph database
Thomas de Grivel <thoxdg@gmail.com>
0.2
lessp (system).
local-time (system).
rollback (system).
package.lisp (file).
fact.lisp (file).
spec.lisp (file).
anon.lisp (file).
transaction.lisp (file).
usl.lisp (file).
index.lisp (file).
database.lisp (file).
with.lisp (file).
serialize.lisp (file).
meta.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
facts/facts.asdfacts/package.lispfacts/fact.lispfacts/spec.lispfacts/anon.lispfacts/transaction.lispfacts/usl.lispfacts/index.lispfacts/database.lispfacts/with.lispfacts/serialize.lispfacts/meta.lispfacts/fact.lisppackage.lisp (file).
facts (system).
fact (type).
fact-equal (function).
fact-object (function).
fact-predicate (function).
fact-subject (function).
fact/l (type).
fact/v (type).
fact/v-object (function).
fact/v-predicate (function).
fact/v-subject (function).
make-fact/v (function).
facts/spec.lisppackage.lisp (file).
facts (system).
binding-p (function).
collect-bindings (function).
sort-bindings (function).
expand-spec (function).
expand-specs (function).
fact-binding-count (function).
gensym-bindings (function).
pattern< (function).
facts/anon.lisppackage.lisp (file).
facts (system).
*randomize-anon* (special variable).
facts/transaction.lisppackage.lisp (file).
facts (system).
*db-log-path-defaults* (special variable).
*db-path* (special variable).
db-log-path (function).
db-path (function).
transaction-var (function).
with-transaction (macro).
*db-path-defaults* (special variable).
*transaction* (special variable).
*transaction-mutex* (special variable).
*transaction-vars* (special variable).
commit-transaction (function).
copy-transaction (function).
log-transaction-operation (macro).
make-transaction (function).
rollback-transaction (function).
transaction (structure).
transaction-completed (reader).
(setf transaction-completed) (writer).
transaction-log (reader).
(setf transaction-log) (writer).
transaction-p (function).
transaction-vars (function).
with-mutex (macro).
facts/usl.lispfact.lisp (file).
facts (system).
+e+ (constant).
copy-usl (function).
copy-usl-node (function).
fixnum* (type).
fixnum-add (type).
fixnum-float (type).
fixnum-mult (type).
make-usl (function).
make-usl% (function).
make-usl-node (function).
make-usl-node% (function).
positive-fixnum (type).
usl (structure).
usl-cursor (function).
usl-delete (function).
usl-each (function).
usl-find (function).
usl-get (function).
usl-head (reader).
(setf usl-head) (writer).
usl-height (function).
usl-height-fun (reader).
(setf usl-height-fun) (writer).
usl-height-table (function).
usl-insert (function).
usl-length (reader).
(setf usl-length) (writer).
usl-lessp (function).
usl-lessp-fun (reader).
(setf usl-lessp-fun) (writer).
usl-node (structure).
usl-node-height (function).
usl-node-insert (function).
usl-node-links (reader).
(setf usl-node-links) (writer).
(setf usl-node-next) (setf expander).
usl-node-next (function).
usl-node-p (function).
usl-node-value (reader).
(setf usl-node-value) (writer).
usl-p (function).
usl-random-height (function).
usl-random-height-fun (function).
usl-spacing (reader).
(setf usl-spacing) (writer).
facts/index.lispusl.lisp (file).
facts (system).
fact-osp-lessp (function).
fact-pos-lessp (function).
fact-spo-lessp (function).
index-delete (function).
index-each (function).
index-get (function).
index-insert (function).
lessp/3 (function).
make-index (function).
facts/database.lispindex.lisp (file).
transaction.lisp (file).
facts (system).
clear-package (function).
db-delete (function).
db-each (macro).
db-fact (generic function).
db-get (function).
db-index-osp (reader method).
db-index-pos (reader method).
db-index-spo (reader method).
db-indexes-delete (generic function).
db-indexes-insert (generic function).
db-insert (function).
facts/with.lispdatabase.lisp (file).
spec.lisp (file).
anon.lisp (file).
facts (system).
collect-facts (macro).
ignorable-bindings (function).
nor (function).
push-tail (macro).
with/0 (function).
with/1-2 (function).
with/3 (function).
with/expanded (macro).
with/iter (function).
with/rec (macro).
Packages are listed by definition order.
factscommon-lisp.
lessp.
local-time.
rollback.
*db* (special variable).
*db-log-path-defaults* (special variable).
*db-path* (special variable).
add (macro).
add* (function).
anon (function).
binding-p (function).
bound-p (macro).
clear-db (function).
collect (macro).
collect-bindings (function).
db (class).
db-log-path (function).
db-path (function).
first-bound (macro).
let-with (macro).
load-db (function).
rm (macro).
save-db (function).
sort-bindings (function).
transaction-var (function).
with (macro).
with-anon (macro).
with-transaction (macro).
without (macro).
*db-path-defaults* (special variable).
*randomize-anon* (special variable).
*transaction* (special variable).
*transaction-mutex* (special variable).
*transaction-vars* (special variable).
+e+ (constant).
about (function).
clear-package (function).
collect-facts (macro).
commit-transaction (function).
copy-transaction (function).
copy-usl (function).
copy-usl-node (function).
db-delete (function).
db-each (macro).
db-fact (generic function).
db-get (function).
db-index-osp (generic reader).
db-index-pos (generic reader).
db-index-spo (generic reader).
db-indexes-delete (generic function).
db-indexes-insert (generic function).
db-insert (function).
expand-spec (function).
expand-specs (function).
fact (type).
fact-binding-count (function).
fact-equal (function).
fact-object (function).
fact-osp-lessp (function).
fact-pos-lessp (function).
fact-predicate (function).
fact-spo-lessp (function).
fact-subject (function).
fact/l (type).
fact/v (type).
fact/v-object (function).
fact/v-predicate (function).
fact/v-subject (function).
fixnum* (type).
fixnum-add (type).
fixnum-float (type).
fixnum-mult (type).
gensym-bindings (function).
ignorable-bindings (function).
index-delete (function).
index-each (function).
index-get (function).
index-insert (function).
lessp/3 (function).
log-transaction-operation (macro).
make-fact/v (function).
make-index (function).
make-transaction (function).
make-usl (function).
make-usl% (function).
make-usl-node (function).
make-usl-node% (function).
nor (function).
pattern< (function).
positive-fixnum (type).
push-tail (macro).
rollback-transaction (function).
transaction (structure).
transaction-completed (reader).
(setf transaction-completed) (writer).
transaction-log (reader).
(setf transaction-log) (writer).
transaction-p (function).
transaction-vars (function).
usl (structure).
usl-cursor (function).
usl-delete (function).
usl-each (function).
usl-find (function).
usl-get (function).
usl-head (reader).
(setf usl-head) (writer).
usl-height (function).
usl-height-fun (reader).
(setf usl-height-fun) (writer).
usl-height-table (function).
usl-insert (function).
usl-length (reader).
(setf usl-length) (writer).
usl-lessp (function).
usl-lessp-fun (reader).
(setf usl-lessp-fun) (writer).
usl-node (structure).
usl-node-height (function).
usl-node-insert (function).
usl-node-links (reader).
(setf usl-node-links) (writer).
(setf usl-node-next) (setf expander).
usl-node-next (function).
usl-node-p (function).
usl-node-value (reader).
(setf usl-node-value) (writer).
usl-p (function).
usl-random-height (function).
usl-random-height-fun (function).
usl-spacing (reader).
(setf usl-spacing) (writer).
with-mutex (macro).
with/0 (function).
with/1-2 (function).
with/3 (function).
with/expanded (macro).
with/iter (function).
with/rec (macro).
Definitions are sorted by export status, category, package, and then by lexicographic order.
Transforms ((?s ?p ?o) (?s x y)) into ((?s x y) (?s ?p ?o)). Huge optimization.
(facts::make-index (function facts::fact-spo-lessp))
This slot is read-only.
(facts::make-index (function facts::fact-pos-lessp))
This slot is read-only.
(facts::make-index (function facts::fact-osp-lessp))
This slot is read-only.
Facts specification
For any values of subject S, predicate P, object O we can write a fact as a triple :
(S P O)
A join between multiple facts is written as a set of facts :
((S1 P1 O1) ... (Sn Pn On))
For more predicates and objects for the same subject we can also write :
((S P1 O1 ... Pn On))
which is equivalent to :
((S P1 O1) ... (S Pn On))
log.
Return the in-tree value if found.
PRED if given must be an array, fill it with predecessor usl nodes.
structure-object.
(function (t t) (or t nil))
facts::usl-node
common-lisp.
(facts::fixnum* 0)
0
(facts::fixnum-float 1)
(function nil (facts::fixnum* 1))
| Jump to: | (
A B C D E F G I L M N P R S T U W |
|---|
| Jump to: | (
A B C D E F G I L M N P R S T U W |
|---|
| Jump to: | *
+
C H I L S V |
|---|
| Jump to: | *
+
C H I L S V |
|---|
| Jump to: | A C D F I M P S T U W |
|---|
| Jump to: | A C D F I M P S T U W |
|---|