The facts Reference Manual

This is the facts Reference Manual, version 0.2, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sat Dec 03 20:04:21 2022 GMT+0.

Table of Contents


1 Introduction


2 Systems

The main system appears first, followed by any subsystem dependency.


2.1 facts

in-memory graph database

Author

Thomas de Grivel <>

Version

0.2

Dependencies
  • lessp (system).
  • local-time (system).
  • rollback (system).
Source

facts.asd.

Child Components

3 Files

Files are sorted by type and then listed depth-first from the systems components trees.


3.1 Lisp


3.1.1 facts/facts.asd

Source

facts.asd.

Parent Component

facts (system).

ASDF Systems

facts.

Packages

facts.system.


3.1.2 facts/package.lisp

Source

facts.asd.

Parent Component

facts (system).

Packages

facts.


3.1.3 facts/fact.lisp

Dependency

package.lisp (file).

Source

facts.asd.

Parent Component

facts (system).

Internals

3.1.4 facts/spec.lisp

Dependency

package.lisp (file).

Source

facts.asd.

Parent Component

facts (system).

Public Interface
Internals

3.1.5 facts/anon.lisp

Dependency

package.lisp (file).

Source

facts.asd.

Parent Component

facts (system).

Packages

facts.anon.

Public Interface
Internals

*randomize-anon* (special variable).


3.1.6 facts/transaction.lisp

Dependency

package.lisp (file).

Source

facts.asd.

Parent Component

facts (system).

Public Interface
Internals

3.1.7 facts/usl.lisp

Dependency

fact.lisp (file).

Source

facts.asd.

Parent Component

facts (system).

Internals

3.1.8 facts/index.lisp

Dependency

usl.lisp (file).

Source

facts.asd.

Parent Component

facts (system).

Internals

3.1.9 facts/database.lisp

Dependencies
Source

facts.asd.

Parent Component

facts (system).

Public Interface
Internals

3.1.10 facts/with.lisp

Dependencies
Source

facts.asd.

Parent Component

facts (system).

Public Interface
Internals

3.1.11 facts/serialize.lisp

Dependency

with.lisp (file).

Source

facts.asd.

Parent Component

facts (system).

Public Interface

3.1.12 facts/meta.lisp

Dependency

with.lisp (file).

Source

facts.asd.

Parent Component

facts (system).

Internals

about (function).


4 Packages

Packages are listed by definition order.


4.1 facts.anon

Source

anon.lisp.


4.2 facts.system

Source

facts.asd.

Use List
  • asdf/interface.
  • common-lisp.

4.3 facts

Source

package.lisp.

Use List
  • common-lisp.
  • lessp.
  • local-time.
  • rollback.
Public Interface
Internals

5 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


5.1 Public Interface


5.1.1 Special variables

Special Variable: *db*
Package

facts.

Source

database.lisp.

Special Variable: *db-log-path-defaults*
Package

facts.

Source

transaction.lisp.

Special Variable: *db-path*
Package

facts.

Source

transaction.lisp.


5.1.2 Macros

Macro: add (&rest specs)
Package

facts.

Source

with.lisp.

Macro: bound-p (binding-specs)
Package

facts.

Source

with.lisp.

Macro: collect (binding-specs &body body)
Package

facts.

Source

with.lisp.

Macro: first-bound (binding-specs)
Package

facts.

Source

with.lisp.

Macro: let-with (let-spec &body body)
Package

facts.

Source

with.lisp.

Macro: rm (specs)
Package

facts.

Source

with.lisp.

Macro: with (binding-specs &body body)
Package

facts.

Source

with.lisp.

Macro: with-anon ((&rest vars) &body body)
Package

facts.

Source

anon.lisp.

Macro: with-transaction (&body body)
Package

facts.

Source

transaction.lisp.

Macro: without (binding-specs &body body)
Package

facts.

Source

with.lisp.


5.1.3 Ordinary functions

Function: add* (&rest specs)
Package

facts.

Source

with.lisp.

Function: anon (&rest sym-hints)
Package

facts.

Source

anon.lisp.

Function: binding-p (sym)
Package

facts.

Source

spec.lisp.

Function: clear-db ()
Package

facts.

Source

database.lisp.

Function: collect-bindings (form &optional bindings)
Package

facts.

Source

spec.lisp.

Function: db-log-path ()
Package

facts.

Source

transaction.lisp.

Function: db-path ()
Package

facts.

Source

transaction.lisp.

Function: load-db (src)
Package

facts.

Source

serialize.lisp.

Function: save-db (&key into readably)
Package

facts.

Source

serialize.lisp.

Function: sort-bindings (pattern)

Transforms ((?s ?p ?o) (?s x y)) into ((?s x y) (?s ?p ?o)). Huge optimization.

Package

facts.

Source

spec.lisp.

Function: transaction-var (value name)
Package

facts.

Source

transaction.lisp.


5.1.4 Classes

Class: db
Package

facts.

Source

database.lisp.

Direct methods
Direct slots
Slot: index-spo
Initform

(facts::make-index (function facts::fact-spo-lessp))

Readers

db-index-spo.

Writers

This slot is read-only.

Slot: index-pos
Initform

(facts::make-index (function facts::fact-pos-lessp))

Readers

db-index-pos.

Writers

This slot is read-only.

Slot: index-osp
Initform

(facts::make-index (function facts::fact-osp-lessp))

Readers

db-index-osp.

Writers

This slot is read-only.


5.2 Internals


5.2.1 Constants

Constant: +e+
Package

facts.

Source

usl.lisp.


5.2.2 Special variables

Special Variable: *db-path-defaults*
Package

facts.

Source

transaction.lisp.

Special Variable: *randomize-anon*
Package

facts.

Source

anon.lisp.

Special Variable: *transaction*
Package

facts.

Source

transaction.lisp.

Special Variable: *transaction-mutex*
Package

facts.

Source

transaction.lisp.

Special Variable: *transaction-vars*
Package

facts.

Source

transaction.lisp.


5.2.3 Macros

Macro: collect-facts (fact-specs)
Package

facts.

Source

with.lisp.

Macro: db-each ((var-s var-p var-o) (tree &key start end) &body body)
Package

facts.

Source

database.lisp.

Macro: log-transaction-operation (op &rest args)
Package

facts.

Source

transaction.lisp.

Macro: push-tail (tail &rest values)
Package

facts.

Source

with.lisp.

Macro: with-mutex ((mutex timeout) &body body)
Package

facts.

Source

transaction.lisp.

Macro: with/expanded (binding-specs &body body)
Package

facts.

Source

with.lisp.

Macro: with/rec ((spec &rest more-specs) &body body)
Package

facts.

Source

with.lisp.


5.2.4 Ordinary functions

Function: about (x)
Package

facts.

Source

meta.lisp.

Function: clear-package (package)
Package

facts.

Source

database.lisp.

Function: commit-transaction (tx)
Package

facts.

Source

transaction.lisp.

Function: copy-transaction (instance)
Package

facts.

Source

transaction.lisp.

Function: copy-usl (instance)
Package

facts.

Source

usl.lisp.

Function: copy-usl-node (instance)
Package

facts.

Source

usl.lisp.

Function: db-delete (fact &optional db)
Package

facts.

Source

database.lisp.

Function: db-get (s p o &optional db)
Package

facts.

Source

database.lisp.

Function: db-insert (subject predicate object &optional db)
Package

facts.

Source

database.lisp.

Function: expand-spec (spec)
Package

facts.

Source

spec.lisp.

Function: expand-specs (specs)

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))

Package

facts.

Source

spec.lisp.

Function: fact-binding-count (x)
Package

facts.

Source

spec.lisp.

Function: fact-equal (a b)
Package

facts.

Source

fact.lisp.

Function: fact-object (f)
Package

facts.

Source

fact.lisp.

Function: fact-osp-lessp (a b)
Package

facts.

Source

index.lisp.

Function: fact-pos-lessp (a b)
Package

facts.

Source

index.lisp.

Function: fact-predicate (f)
Package

facts.

Source

fact.lisp.

Function: fact-spo-lessp (a b)
Package

facts.

Source

index.lisp.

Function: fact-subject (f)
Package

facts.

Source

fact.lisp.

Function: fact/v-object (f)
Package

facts.

Source

fact.lisp.

Function: fact/v-predicate (f)
Package

facts.

Source

fact.lisp.

Function: fact/v-subject (f)
Package

facts.

Source

fact.lisp.

Function: gensym-bindings (bindings)
Package

facts.

Source

spec.lisp.

Function: ignorable-bindings (&rest vars)
Package

facts.

Source

with.lisp.

Function: index-delete (index fact)
Package

facts.

Source

index.lisp.

Function: index-each (index fn &key start end)
Package

facts.

Source

index.lisp.

Function: index-get (index fact)
Package

facts.

Source

index.lisp.

Function: index-insert (index fact)
Package

facts.

Source

index.lisp.

Function: lessp/3 (a1 a2 a3 b1 b2 b3)
Package

facts.

Source

index.lisp.

Function: make-fact/v (spec-or-subject &optional predicate object)
Package

facts.

Source

fact.lisp.

Function: make-index (lessp)
Package

facts.

Source

index.lisp.

Function: make-transaction (&key completed log)
Package

facts.

Source

transaction.lisp.

Function: make-usl (&key lessp height spacing)
Package

facts.

Source

usl.lisp.

Function: make-usl% (&key lessp-fun head length spacing height-fun)
Package

facts.

Source

usl.lisp.

Function: make-usl-node (value height)
Package

facts.

Source

usl.lisp.

Function: make-usl-node% (&key value links)
Package

facts.

Source

usl.lisp.

Function: nor (&rest forms)
Package

facts.

Source

with.lisp.

Function: pattern< (a b)
Package

facts.

Source

spec.lisp.

Function: rollback-transaction (tx)
Package

facts.

Source

transaction.lisp.

Reader: transaction-completed (instance)
Writer: (setf transaction-completed) (instance)
Package

facts.

Source

transaction.lisp.

Target Slot

completed.

Reader: transaction-log (instance)
Writer: (setf transaction-log) (instance)
Package

facts.

Source

transaction.lisp.

Target Slot

log.

Function: transaction-p (object)
Package

facts.

Source

transaction.lisp.

Function: transaction-vars ()
Package

facts.

Source

transaction.lisp.

Function: usl-cursor (usl &optional value)
Package

facts.

Source

usl.lisp.

Function: usl-delete (usl value)
Package

facts.

Source

usl.lisp.

Function: usl-each (usl fn &key start end)
Package

facts.

Source

usl.lisp.

Function: usl-find (usl value &optional pred)

Return the in-tree value if found.
PRED if given must be an array, fill it with predecessor usl nodes.

Package

facts.

Source

usl.lisp.

Function: usl-get (usl value)
Package

facts.

Source

usl.lisp.

Reader: usl-head (instance)
Writer: (setf usl-head) (instance)
Package

facts.

Source

usl.lisp.

Target Slot

head.

Function: usl-height (usl)
Package

facts.

Source

usl.lisp.

Reader: usl-height-fun (instance)
Writer: (setf usl-height-fun) (instance)
Package

facts.

Source

usl.lisp.

Target Slot

height-fun.

Function: usl-height-table (max-height spacing)
Package

facts.

Source

usl.lisp.

Function: usl-insert (usl value)
Package

facts.

Source

usl.lisp.

Reader: usl-length (instance)
Writer: (setf usl-length) (instance)
Package

facts.

Source

usl.lisp.

Target Slot

length.

Function: usl-lessp (usl a b)
Package

facts.

Source

usl.lisp.

Reader: usl-lessp-fun (instance)
Writer: (setf usl-lessp-fun) (instance)
Package

facts.

Source

usl.lisp.

Target Slot

lessp-fun.

Function: usl-node-height (node)
Package

facts.

Source

usl.lisp.

Function: usl-node-insert (pred new)
Package

facts.

Source

usl.lisp.

Package

facts.

Source

usl.lisp.

Target Slot

links.

Function: usl-node-next (node &optional level)
Setf Expander: (setf usl-node-next) (node level)
Package

facts.

Source

usl.lisp.

Function: usl-node-p (object)
Package

facts.

Source

usl.lisp.

Reader: usl-node-value (instance)
Writer: (setf usl-node-value) (instance)
Package

facts.

Source

usl.lisp.

Target Slot

value.

Function: usl-p (object)
Package

facts.

Source

usl.lisp.

Function: usl-random-height (max-height spacing)
Package

facts.

Source

usl.lisp.

Function: usl-random-height-fun (max-height spacing)
Package

facts.

Source

usl.lisp.

Reader: usl-spacing (instance)
Writer: (setf usl-spacing) (instance)
Package

facts.

Source

usl.lisp.

Target Slot

spacing.

Function: with/0 (var-s var-p var-o body)
Package

facts.

Source

with.lisp.

Function: with/1-2 (s p o var-s var-p var-o tree body)
Package

facts.

Source

with.lisp.

Function: with/3 (form-s form-p form-o body)
Package

facts.

Source

with.lisp.

Function: with/iter (spec binding-vars body)
Package

facts.

Source

with.lisp.


5.2.5 Generic functions

Generic Function: db-fact (db fact)
Package

facts.

Source

database.lisp.

Methods
Method: db-fact ((db db) fact)
Generic Reader: db-index-osp (object)
Package

facts.

Methods
Reader Method: db-index-osp ((db db))

automatically generated reader method

Source

database.lisp.

Target Slot

index-osp.

Generic Reader: db-index-pos (object)
Package

facts.

Methods
Reader Method: db-index-pos ((db db))

automatically generated reader method

Source

database.lisp.

Target Slot

index-pos.

Generic Reader: db-index-spo (object)
Package

facts.

Methods
Reader Method: db-index-spo ((db db))

automatically generated reader method

Source

database.lisp.

Target Slot

index-spo.

Generic Function: db-indexes-delete (db fact)
Package

facts.

Source

database.lisp.

Methods
Method: db-indexes-delete ((db db) fact)
Generic Function: db-indexes-insert (db fact)
Package

facts.

Source

database.lisp.

Methods
Method: db-indexes-insert ((db db) fact)

5.2.6 Structures

Structure: transaction
Package

facts.

Source

transaction.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: completed
Type

(member nil t)

Readers

transaction-completed.

Writers

(setf transaction-completed).

Slot: log
Package

common-lisp.

Type

list

Readers

transaction-log.

Writers

(setf transaction-log).

Structure: usl
Package

facts.

Source

usl.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: lessp-fun
Type

(function (t t) (or t nil))

Readers

usl-lessp-fun.

Writers

(setf usl-lessp-fun).

Slot: head
Type

facts::usl-node

Readers

usl-head.

Writers

(setf usl-head).

Slot: length
Package

common-lisp.

Type

(facts::fixnum* 0)

Initform

0

Readers

usl-length.

Writers

(setf usl-length).

Slot: spacing
Type

(facts::fixnum-float 1)

Readers

usl-spacing.

Writers

(setf usl-spacing).

Slot: height-fun
Type

(function nil (facts::fixnum* 1))

Readers

usl-height-fun.

Writers

(setf usl-height-fun).

Structure: usl-node
Package

facts.

Source

usl.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: value
Readers

usl-node-value.

Writers

(setf usl-node-value).

Type

simple-vector

Readers

usl-node-links.

Writers

(setf usl-node-links).


5.2.7 Types

Type: fact ()
Package

facts.

Source

fact.lisp.

Type: fact/l ()
Package

facts.

Source

fact.lisp.

Type: fact/v ()
Package

facts.

Source

fact.lisp.

Type: fixnum* (&optional start end)
Package

facts.

Source

usl.lisp.

Type: fixnum-add (&optional add start)
Package

facts.

Source

usl.lisp.

Type: fixnum-float (&optional start end)
Package

facts.

Source

usl.lisp.

Type: fixnum-mult (mult &optional start)
Package

facts.

Source

usl.lisp.

Type: positive-fixnum (&optional low)
Package

facts.

Source

usl.lisp.


Appendix A Indexes


A.1 Concepts


A.2 Functions

Jump to:   (  
A   B   C   D   E   F   G   I   L   M   N   P   R   S   T   U   W  
Index Entry  Section

(
(setf transaction-completed): Private ordinary functions
(setf transaction-log): Private ordinary functions
(setf usl-head): Private ordinary functions
(setf usl-height-fun): Private ordinary functions
(setf usl-length): Private ordinary functions
(setf usl-lessp-fun): Private ordinary functions
(setf usl-node-links): Private ordinary functions
(setf usl-node-next): Private ordinary functions
(setf usl-node-value): Private ordinary functions
(setf usl-spacing): Private ordinary functions

A
about: Private ordinary functions
add: Public macros
add*: Public ordinary functions
anon: Public ordinary functions

B
binding-p: Public ordinary functions
bound-p: Public macros

C
clear-db: Public ordinary functions
clear-package: Private ordinary functions
collect: Public macros
collect-bindings: Public ordinary functions
collect-facts: Private macros
commit-transaction: Private ordinary functions
copy-transaction: Private ordinary functions
copy-usl: Private ordinary functions
copy-usl-node: Private ordinary functions

D
db-delete: Private ordinary functions
db-each: Private macros
db-fact: Private generic functions
db-fact: Private generic functions
db-get: Private ordinary functions
db-index-osp: Private generic functions
db-index-osp: Private generic functions
db-index-pos: Private generic functions
db-index-pos: Private generic functions
db-index-spo: Private generic functions
db-index-spo: Private generic functions
db-indexes-delete: Private generic functions
db-indexes-delete: Private generic functions
db-indexes-insert: Private generic functions
db-indexes-insert: Private generic functions
db-insert: Private ordinary functions
db-log-path: Public ordinary functions
db-path: Public ordinary functions

E
expand-spec: Private ordinary functions
expand-specs: Private ordinary functions

F
fact-binding-count: Private ordinary functions
fact-equal: Private ordinary functions
fact-object: Private ordinary functions
fact-osp-lessp: Private ordinary functions
fact-pos-lessp: Private ordinary functions
fact-predicate: Private ordinary functions
fact-spo-lessp: Private ordinary functions
fact-subject: Private ordinary functions
fact/v-object: Private ordinary functions
fact/v-predicate: Private ordinary functions
fact/v-subject: Private ordinary functions
first-bound: Public macros
Function, (setf transaction-completed): Private ordinary functions
Function, (setf transaction-log): Private ordinary functions
Function, (setf usl-head): Private ordinary functions
Function, (setf usl-height-fun): Private ordinary functions
Function, (setf usl-length): Private ordinary functions
Function, (setf usl-lessp-fun): Private ordinary functions
Function, (setf usl-node-links): Private ordinary functions
Function, (setf usl-node-value): Private ordinary functions
Function, (setf usl-spacing): Private ordinary functions
Function, about: Private ordinary functions
Function, add*: Public ordinary functions
Function, anon: Public ordinary functions
Function, binding-p: Public ordinary functions
Function, clear-db: Public ordinary functions
Function, clear-package: Private ordinary functions
Function, collect-bindings: Public ordinary functions
Function, commit-transaction: Private ordinary functions
Function, copy-transaction: Private ordinary functions
Function, copy-usl: Private ordinary functions
Function, copy-usl-node: Private ordinary functions
Function, db-delete: Private ordinary functions
Function, db-get: Private ordinary functions
Function, db-insert: Private ordinary functions
Function, db-log-path: Public ordinary functions
Function, db-path: Public ordinary functions
Function, expand-spec: Private ordinary functions
Function, expand-specs: Private ordinary functions
Function, fact-binding-count: Private ordinary functions
Function, fact-equal: Private ordinary functions
Function, fact-object: Private ordinary functions
Function, fact-osp-lessp: Private ordinary functions
Function, fact-pos-lessp: Private ordinary functions
Function, fact-predicate: Private ordinary functions
Function, fact-spo-lessp: Private ordinary functions
Function, fact-subject: Private ordinary functions
Function, fact/v-object: Private ordinary functions
Function, fact/v-predicate: Private ordinary functions
Function, fact/v-subject: Private ordinary functions
Function, gensym-bindings: Private ordinary functions
Function, ignorable-bindings: Private ordinary functions
Function, index-delete: Private ordinary functions
Function, index-each: Private ordinary functions
Function, index-get: Private ordinary functions
Function, index-insert: Private ordinary functions
Function, lessp/3: Private ordinary functions
Function, load-db: Public ordinary functions
Function, make-fact/v: Private ordinary functions
Function, make-index: Private ordinary functions
Function, make-transaction: Private ordinary functions
Function, make-usl: Private ordinary functions
Function, make-usl%: Private ordinary functions
Function, make-usl-node: Private ordinary functions
Function, make-usl-node%: Private ordinary functions
Function, nor: Private ordinary functions
Function, pattern<: Private ordinary functions
Function, rollback-transaction: Private ordinary functions
Function, save-db: Public ordinary functions
Function, sort-bindings: Public ordinary functions
Function, transaction-completed: Private ordinary functions
Function, transaction-log: Private ordinary functions
Function, transaction-p: Private ordinary functions
Function, transaction-var: Public ordinary functions
Function, transaction-vars: Private ordinary functions
Function, usl-cursor: Private ordinary functions
Function, usl-delete: Private ordinary functions
Function, usl-each: Private ordinary functions
Function, usl-find: Private ordinary functions
Function, usl-get: Private ordinary functions
Function, usl-head: Private ordinary functions
Function, usl-height: Private ordinary functions
Function, usl-height-fun: Private ordinary functions
Function, usl-height-table: Private ordinary functions
Function, usl-insert: Private ordinary functions
Function, usl-length: Private ordinary functions
Function, usl-lessp: Private ordinary functions
Function, usl-lessp-fun: Private ordinary functions
Function, usl-node-height: Private ordinary functions
Function, usl-node-insert: Private ordinary functions
Function, usl-node-links: Private ordinary functions
Function, usl-node-next: Private ordinary functions
Function, usl-node-p: Private ordinary functions
Function, usl-node-value: Private ordinary functions
Function, usl-p: Private ordinary functions
Function, usl-random-height: Private ordinary functions
Function, usl-random-height-fun: Private ordinary functions
Function, usl-spacing: Private ordinary functions
Function, with/0: Private ordinary functions
Function, with/1-2: Private ordinary functions
Function, with/3: Private ordinary functions
Function, with/iter: Private ordinary functions

G
Generic Function, db-fact: Private generic functions
Generic Function, db-index-osp: Private generic functions
Generic Function, db-index-pos: Private generic functions
Generic Function, db-index-spo: Private generic functions
Generic Function, db-indexes-delete: Private generic functions
Generic Function, db-indexes-insert: Private generic functions
gensym-bindings: Private ordinary functions

I
ignorable-bindings: Private ordinary functions
index-delete: Private ordinary functions
index-each: Private ordinary functions
index-get: Private ordinary functions
index-insert: Private ordinary functions

L
lessp/3: Private ordinary functions
let-with: Public macros
load-db: Public ordinary functions
log-transaction-operation: Private macros

M
Macro, add: Public macros
Macro, bound-p: Public macros
Macro, collect: Public macros
Macro, collect-facts: Private macros
Macro, db-each: Private macros
Macro, first-bound: Public macros
Macro, let-with: Public macros
Macro, log-transaction-operation: Private macros
Macro, push-tail: Private macros
Macro, rm: Public macros
Macro, with: Public macros
Macro, with-anon: Public macros
Macro, with-mutex: Private macros
Macro, with-transaction: Public macros
Macro, with/expanded: Private macros
Macro, with/rec: Private macros
Macro, without: Public macros
make-fact/v: Private ordinary functions
make-index: Private ordinary functions
make-transaction: Private ordinary functions
make-usl: Private ordinary functions
make-usl%: Private ordinary functions
make-usl-node: Private ordinary functions
make-usl-node%: Private ordinary functions
Method, db-fact: Private generic functions
Method, db-index-osp: Private generic functions
Method, db-index-pos: Private generic functions
Method, db-index-spo: Private generic functions
Method, db-indexes-delete: Private generic functions
Method, db-indexes-insert: Private generic functions

N
nor: Private ordinary functions

P
pattern<: Private ordinary functions
push-tail: Private macros

R
rm: Public macros
rollback-transaction: Private ordinary functions

S
save-db: Public ordinary functions
Setf Expander, (setf usl-node-next): Private ordinary functions
sort-bindings: Public ordinary functions

T
transaction-completed: Private ordinary functions
transaction-log: Private ordinary functions
transaction-p: Private ordinary functions
transaction-var: Public ordinary functions
transaction-vars: Private ordinary functions

U
usl-cursor: Private ordinary functions
usl-delete: Private ordinary functions
usl-each: Private ordinary functions
usl-find: Private ordinary functions
usl-get: Private ordinary functions
usl-head: Private ordinary functions
usl-height: Private ordinary functions
usl-height-fun: Private ordinary functions
usl-height-table: Private ordinary functions
usl-insert: Private ordinary functions
usl-length: Private ordinary functions
usl-lessp: Private ordinary functions
usl-lessp-fun: Private ordinary functions
usl-node-height: Private ordinary functions
usl-node-insert: Private ordinary functions
usl-node-links: Private ordinary functions
usl-node-next: Private ordinary functions
usl-node-p: Private ordinary functions
usl-node-value: Private ordinary functions
usl-p: Private ordinary functions
usl-random-height: Private ordinary functions
usl-random-height-fun: Private ordinary functions
usl-spacing: Private ordinary functions

W
with: Public macros
with-anon: Public macros
with-mutex: Private macros
with-transaction: Public macros
with/0: Private ordinary functions
with/1-2: Private ordinary functions
with/3: Private ordinary functions
with/expanded: Private macros
with/iter: Private ordinary functions
with/rec: Private macros
without: Public macros


A.3 Variables

Jump to:   *   +  
C   H   I   L   S   V  
Index Entry  Section

*
*db*: Public special variables
*db-log-path-defaults*: Public special variables
*db-path*: Public special variables
*db-path-defaults*: Private special variables
*randomize-anon*: Private special variables
*transaction*: Private special variables
*transaction-mutex*: Private special variables
*transaction-vars*: Private special variables

+
+e+: Private constants

C
completed: Private structures
Constant, +e+: Private constants

H
head: Private structures
height-fun: Private structures

I
index-osp: Public classes
index-pos: Public classes
index-spo: Public classes

L
length: Private structures
lessp-fun: Private structures
links: Private structures
log: Private structures

S
Slot, completed: Private structures
Slot, head: Private structures
Slot, height-fun: Private structures
Slot, index-osp: Public classes
Slot, index-pos: Public classes
Slot, index-spo: Public classes
Slot, length: Private structures
Slot, lessp-fun: Private structures
Slot, links: Private structures
Slot, log: Private structures
Slot, spacing: Private structures
Slot, value: Private structures
spacing: Private structures
Special Variable, *db*: Public special variables
Special Variable, *db-log-path-defaults*: Public special variables
Special Variable, *db-path*: Public special variables
Special Variable, *db-path-defaults*: Private special variables
Special Variable, *randomize-anon*: Private special variables
Special Variable, *transaction*: Private special variables
Special Variable, *transaction-mutex*: Private special variables
Special Variable, *transaction-vars*: Private special variables

V
value: Private structures


A.4 Data types

Jump to:   A   C   D   F   I   M   P   S   T   U   W  
Index Entry  Section

A
anon.lisp: The facts/anon․lisp file

C
Class, db: Public classes

D
database.lisp: The facts/database․lisp file
db: Public classes

F
fact: Private types
fact.lisp: The facts/fact․lisp file
fact/l: Private types
fact/v: Private types
facts: The facts system
facts: The facts package
facts.anon: The facts․anon package
facts.asd: The facts/facts․asd file
facts.system: The facts․system package
File, anon.lisp: The facts/anon․lisp file
File, database.lisp: The facts/database․lisp file
File, fact.lisp: The facts/fact․lisp file
File, facts.asd: The facts/facts․asd file
File, index.lisp: The facts/index․lisp file
File, meta.lisp: The facts/meta․lisp file
File, package.lisp: The facts/package․lisp file
File, serialize.lisp: The facts/serialize․lisp file
File, spec.lisp: The facts/spec․lisp file
File, transaction.lisp: The facts/transaction․lisp file
File, usl.lisp: The facts/usl․lisp file
File, with.lisp: The facts/with․lisp file
fixnum*: Private types
fixnum-add: Private types
fixnum-float: Private types
fixnum-mult: Private types

I
index.lisp: The facts/index․lisp file

M
meta.lisp: The facts/meta․lisp file

P
Package, facts: The facts package
Package, facts.anon: The facts․anon package
Package, facts.system: The facts․system package
package.lisp: The facts/package․lisp file
positive-fixnum: Private types

S
serialize.lisp: The facts/serialize․lisp file
spec.lisp: The facts/spec․lisp file
Structure, transaction: Private structures
Structure, usl: Private structures
Structure, usl-node: Private structures
System, facts: The facts system

T
transaction: Private structures
transaction.lisp: The facts/transaction․lisp file
Type, fact: Private types
Type, fact/l: Private types
Type, fact/v: Private types
Type, fixnum*: Private types
Type, fixnum-add: Private types
Type, fixnum-float: Private types
Type, fixnum-mult: Private types
Type, positive-fixnum: Private types

U
usl: Private structures
usl-node: Private structures
usl.lisp: The facts/usl․lisp file

W
with.lisp: The facts/with․lisp file