The kanren-trs Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The kanren-trs Reference Manual

This is the kanren-trs Reference Manual, generated automatically by Declt version 2.4 "Will Decker" on Wed Jun 20 11:12:00 2018 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

1 Systems

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


Previous: , Up: Systems   [Contents][Index]

1.1 kanren-trs

Source

kanren-trs.asd (file)

Components

Next: , Previous: , Up: Top   [Contents][Index]

2 Files

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


Previous: , Up: Files   [Contents][Index]

2.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

2.1.1 kanren-trs.asd

Location

kanren-trs.asd

Systems

kanren-trs (system)


Next: , Previous: , Up: Lisp files   [Contents][Index]

2.1.2 kanren-trs/packages.lisp

Parent

kanren-trs (system)

Location

packages.lisp

Packages

kanren-trs


Next: , Previous: , Up: Lisp files   [Contents][Index]

2.1.3 kanren-trs/kanren.lisp

Dependency

packages.lisp (file)

Parent

kanren-trs (system)

Location

kanren.lisp

Exported Definitions
Internal Definitions

Previous: , Up: Lisp files   [Contents][Index]

2.1.4 kanren-trs/kanren-lib.lisp

Dependency

kanren.lisp (file)

Parent

kanren-trs (system)

Location

kanren-lib.lisp

Exported Definitions

Next: , Previous: , Up: Top   [Contents][Index]

3 Packages

Packages are listed by definition order.


Previous: , Up: Packages   [Contents][Index]

3.1 kanren-trs

Source

packages.lisp (file)

Use List

common-lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

4 Definitions

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


Next: , Previous: , Up: Definitions   [Contents][Index]

4.1 Exported definitions


Next: , Previous: , Up: Exported definitions   [Contents][Index]

4.1.1 Symbol macros

Symbol Macro: +fail+
Package

kanren-trs

Source

kanren.lisp (file)

Expansion

(load-time-value kanren-trs::%%+fail+ t)

Symbol Macro: +succeed+
Package

kanren-trs

Source

kanren.lisp (file)

Expansion

(load-time-value kanren-trs::%%+succeed+ t)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

4.1.2 Macros

Macro: all &rest GOALS
Package

kanren-trs

Source

kanren.lisp (file)

Macro: alli &rest GOALS
Package

kanren-trs

Source

kanren.lisp (file)

Macro: choice-case KEY-TERM &body CASES
Package

kanren-trs

Source

kanren-lib.lisp (file)

Macro: conda &body CLAUSES
Package

kanren-trs

Source

kanren.lisp (file)

Macro: conde &body CLAUSES
Package

kanren-trs

Source

kanren.lisp (file)

Macro: condi &body CLAUSES
Package

kanren-trs

Source

kanren.lisp (file)

Macro: condu &body CLAUSES
Package

kanren-trs

Source

kanren.lisp (file)

Macro: defconst NAME VALUE &optional DOCUMENTATION
Package

kanren-trs

Source

kanren.lisp (file)

Macro: fresh (&rest VARS) &body GOALS
Package

kanren-trs

Source

kanren.lisp (file)

Macro: run NUM (VAR) &body GOALS
Package

kanren-trs

Source

kanren.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

4.1.3 Functions

Function: == V W
Package

kanren-trs

Source

kanren.lisp (file)

Function: make-binary-relation MAPPING
Package

kanren-trs

Source

kanren-lib.lisp (file)

Function: make-nary-relation N MAPPING
Package

kanren-trs

Source

kanren-lib.lisp (file)

Function: make-ternary-relation MAPPING
Package

kanren-trs

Source

kanren-lib.lisp (file)

Function: map-choice FUN &rest BINDINGS
Package

kanren-trs

Source

kanren-lib.lisp (file)

Function: permute-binary-relation RELATION
Package

kanren-trs

Source

kanren-lib.lisp (file)

Function: permute-ternary-relation RELATION
Package

kanren-trs

Source

kanren-lib.lisp (file)

Function: reify-subst ID? SUBST
Package

kanren-trs

Source

kanren.lisp (file)

Function: unify V W SUBST
Package

kanren-trs

Source

kanren.lisp (file)

Function: walk* ID? SUBST
Package

kanren-trs

Source

kanren.lisp (file)


Previous: , Up: Exported definitions   [Contents][Index]

4.1.4 Generic functions

Generic Function: equivp LHS RHS
Package

kanren-trs

Source

kanren.lisp (file)

Methods
Method: equivp LHS RHS
Method: equivp (LHS vector) (RHS vector)
Method: equivp (LHS list) (RHS list)
Generic Function: reify-subst-impl VAL SUBST
Package

kanren-trs

Source

kanren.lisp (file)

Methods
Method: reify-subst-impl VAL SUBST
Method: reify-subst-impl (VAL id) SUBST
Method: reify-subst-impl (VAL cons) SUBST
Method: reify-subst-impl (VAL vector) SUBST
Generic Function: unify-impl V W SUBST
Package

kanren-trs

Source

kanren.lisp (file)

Methods
Method: unify-impl V W SUBST
Method: unify-impl (V id) W SUBST
Method: unify-impl V (W id) SUBST
Method: unify-impl (V cons) (W cons) SUBST
Method: unify-impl (V vector) (W vector) SUBST
Generic Function: walk-impl VAL SUBST
Package

kanren-trs

Source

kanren.lisp (file)

Methods
Method: walk-impl VAL SUBST
Method: walk-impl (VAL cons) SUBST
Method: walk-impl (VAL vector) SUBST

Previous: , Up: Definitions   [Contents][Index]

4.2 Internal definitions


Next: , Previous: , Up: Internal definitions   [Contents][Index]

4.2.1 Special variables

Special Variable: %%+empty-stream+
Package

kanren-trs

Source

kanren.lisp (file)

Special Variable: %%+empty-subst+
Package

kanren-trs

Source

kanren.lisp (file)

Special Variable: %%+fail+
Package

kanren-trs

Source

kanren.lisp (file)

Special Variable: %%+succeed+
Package

kanren-trs

Source

kanren.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

4.2.2 Symbol macros

Symbol Macro: +empty-stream+
Package

kanren-trs

Source

kanren.lisp (file)

Expansion

(load-time-value kanren-trs::%%+empty-stream+ t)

Symbol Macro: +empty-subst+
Package

kanren-trs

Source

kanren.lisp (file)

Expansion

(load-time-value kanren-trs::%%+empty-subst+ t)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

4.2.3 Macros

Macro: all-aux BND &rest GOALS
Package

kanren-trs

Source

kanren.lisp (file)

Macro: case-inf EXPR ON-ZERO SINGLE-CLAUSE CHOICE-CLAUSE
Package

kanren-trs

Source

kanren.lisp (file)

Macro: cond-aux IFER &body CLAUSES
Package

kanren-trs

Source

kanren.lisp (file)

Macro: ifa GOAL0 GOAL1 GOAL2
Package

kanren-trs

Source

kanren.lisp (file)

Macro: ife GOAL0 GOAL1 GOAL2
Package

kanren-trs

Source

kanren.lisp (file)

Macro: ifi GOAL0 GOAL1 GOAL2
Package

kanren-trs

Source

kanren.lisp (file)

Macro: ifu GOAL0 GOAL1 GOAL2
Package

kanren-trs

Source

kanren.lisp (file)

Macro: mzero ()
Package

kanren-trs

Source

kanren.lisp (file)

Macro: unit A
Package

kanren-trs

Source

kanren.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

4.2.4 Functions

Function: bind A-INF GOAL
Package

kanren-trs

Source

kanren.lisp (file)

Function: bindi A-INF GOAL
Package

kanren-trs

Source

kanren.lisp (file)

Function: binding-id BINDING
Package

kanren-trs

Source

kanren.lisp (file)

Function: binding-val BINDING
Package

kanren-trs

Source

kanren.lisp (file)

Function: choice HEAD TAIL
Package

kanren-trs

Source

kanren.lisp (file)

Function: choice-head INSTANCE
Function: (setf choice-head) VALUE INSTANCE
Package

kanren-trs

Source

kanren.lisp (file)

Function: choice-p OBJECT
Package

kanren-trs

Source

kanren.lisp (file)

Function: choice-tail INSTANCE
Function: (setf choice-tail) VALUE INSTANCE
Package

kanren-trs

Source

kanren.lisp (file)

Function: copy-choice INSTANCE
Package

kanren-trs

Source

kanren.lisp (file)

Function: copy-id INSTANCE
Package

kanren-trs

Source

kanren.lisp (file)

Function: extend-subst RHS LHS SUBST
Package

kanren-trs

Source

kanren.lisp (file)

Function: id NAME
Package

kanren-trs

Source

kanren.lisp (file)

Function: id-bound-p ID SUBST
Package

kanren-trs

Source

kanren.lisp (file)

Function: id-name INSTANCE
Package

kanren-trs

Source

kanren.lisp (file)

Function: id-p OBJECT
Package

kanren-trs

Source

kanren.lisp (file)

Function: map-inf N P A-INF
Package

kanren-trs

Source

kanren.lisp (file)

Function: mplus A-INF FUN
Package

kanren-trs

Source

kanren.lisp (file)

Function: mplusi A-INF FUN
Package

kanren-trs

Source

kanren.lisp (file)

Function: reify ID?
Package

kanren-trs

Source

kanren.lisp (file)

Function: reify-name N
Package

kanren-trs

Source

kanren.lisp (file)

Function: walk ID? SUBST
Package

kanren-trs

Source

kanren.lisp (file)


Previous: , Up: Internal definitions   [Contents][Index]

4.2.5 Structures

Structure: choice ()
Package

kanren-trs

Source

kanren.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots
Slot: head
Readers

choice-head (function)

Writers

(setf choice-head) (function)

Slot: tail
Type

function

Initform

(constantly kanren-trs::+empty-stream+)

Readers

choice-tail (function)

Writers

(setf choice-tail) (function)

Structure: id ()
Package

kanren-trs

Source

kanren.lisp (file)

Direct superclasses

structure-object (structure)

Direct methods
Direct slots
Slot: name
Type

symbol

Readers

id-name (function)

Writers

(setf id-name) (function)


Previous: , Up: Top   [Contents][Index]

Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts

Jump to:   F   K   L  
Index Entry  Section

F
File, Lisp, kanren-trs.asd: The kanren-trs<dot>asd file
File, Lisp, kanren-trs/kanren-lib.lisp: The kanren-trs/kanren-lib<dot>lisp file
File, Lisp, kanren-trs/kanren.lisp: The kanren-trs/kanren<dot>lisp file
File, Lisp, kanren-trs/packages.lisp: The kanren-trs/packages<dot>lisp file

K
kanren-trs.asd: The kanren-trs<dot>asd file
kanren-trs/kanren-lib.lisp: The kanren-trs/kanren-lib<dot>lisp file
kanren-trs/kanren.lisp: The kanren-trs/kanren<dot>lisp file
kanren-trs/packages.lisp: The kanren-trs/packages<dot>lisp file

L
Lisp File, kanren-trs.asd: The kanren-trs<dot>asd file
Lisp File, kanren-trs/kanren-lib.lisp: The kanren-trs/kanren-lib<dot>lisp file
Lisp File, kanren-trs/kanren.lisp: The kanren-trs/kanren<dot>lisp file
Lisp File, kanren-trs/packages.lisp: The kanren-trs/packages<dot>lisp file

Jump to:   F   K   L  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.2 Functions

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

(
(setf choice-head): Internal functions
(setf choice-tail): Internal functions

=
==: Exported functions

A
all: Exported macros
all-aux: Internal macros
alli: Exported macros

B
bind: Internal functions
bindi: Internal functions
binding-id: Internal functions
binding-val: Internal functions

C
case-inf: Internal macros
choice: Internal functions
choice-case: Exported macros
choice-head: Internal functions
choice-p: Internal functions
choice-tail: Internal functions
cond-aux: Internal macros
conda: Exported macros
conde: Exported macros
condi: Exported macros
condu: Exported macros
copy-choice: Internal functions
copy-id: Internal functions

D
defconst: Exported macros

E
equivp: Exported generic functions
equivp: Exported generic functions
equivp: Exported generic functions
equivp: Exported generic functions
extend-subst: Internal functions

F
fresh: Exported macros
Function, (setf choice-head): Internal functions
Function, (setf choice-tail): Internal functions
Function, ==: Exported functions
Function, bind: Internal functions
Function, bindi: Internal functions
Function, binding-id: Internal functions
Function, binding-val: Internal functions
Function, choice: Internal functions
Function, choice-head: Internal functions
Function, choice-p: Internal functions
Function, choice-tail: Internal functions
Function, copy-choice: Internal functions
Function, copy-id: Internal functions
Function, extend-subst: Internal functions
Function, id: Internal functions
Function, id-bound-p: Internal functions
Function, id-name: Internal functions
Function, id-p: Internal functions
Function, make-binary-relation: Exported functions
Function, make-nary-relation: Exported functions
Function, make-ternary-relation: Exported functions
Function, map-choice: Exported functions
Function, map-inf: Internal functions
Function, mplus: Internal functions
Function, mplusi: Internal functions
Function, permute-binary-relation: Exported functions
Function, permute-ternary-relation: Exported functions
Function, reify: Internal functions
Function, reify-name: Internal functions
Function, reify-subst: Exported functions
Function, unify: Exported functions
Function, walk: Internal functions
Function, walk*: Exported functions

G
Generic Function, equivp: Exported generic functions
Generic Function, reify-subst-impl: Exported generic functions
Generic Function, unify-impl: Exported generic functions
Generic Function, walk-impl: Exported generic functions

I
id: Internal functions
id-bound-p: Internal functions
id-name: Internal functions
id-p: Internal functions
ifa: Internal macros
ife: Internal macros
ifi: Internal macros
ifu: Internal macros

M
Macro, all: Exported macros
Macro, all-aux: Internal macros
Macro, alli: Exported macros
Macro, case-inf: Internal macros
Macro, choice-case: Exported macros
Macro, cond-aux: Internal macros
Macro, conda: Exported macros
Macro, conde: Exported macros
Macro, condi: Exported macros
Macro, condu: Exported macros
Macro, defconst: Exported macros
Macro, fresh: Exported macros
Macro, ifa: Internal macros
Macro, ife: Internal macros
Macro, ifi: Internal macros
Macro, ifu: Internal macros
Macro, mzero: Internal macros
Macro, run: Exported macros
Macro, unit: Internal macros
make-binary-relation: Exported functions
make-nary-relation: Exported functions
make-ternary-relation: Exported functions
map-choice: Exported functions
map-inf: Internal functions
Method, equivp: Exported generic functions
Method, equivp: Exported generic functions
Method, equivp: Exported generic functions
Method, reify-subst-impl: Exported generic functions
Method, reify-subst-impl: Exported generic functions
Method, reify-subst-impl: Exported generic functions
Method, reify-subst-impl: Exported generic functions
Method, unify-impl: Exported generic functions
Method, unify-impl: Exported generic functions
Method, unify-impl: Exported generic functions
Method, unify-impl: Exported generic functions
Method, unify-impl: Exported generic functions
Method, walk-impl: Exported generic functions
Method, walk-impl: Exported generic functions
Method, walk-impl: Exported generic functions
mplus: Internal functions
mplusi: Internal functions
mzero: Internal macros

P
permute-binary-relation: Exported functions
permute-ternary-relation: Exported functions

R
reify: Internal functions
reify-name: Internal functions
reify-subst: Exported functions
reify-subst-impl: Exported generic functions
reify-subst-impl: Exported generic functions
reify-subst-impl: Exported generic functions
reify-subst-impl: Exported generic functions
reify-subst-impl: Exported generic functions
run: Exported macros

U
unify: Exported functions
unify-impl: Exported generic functions
unify-impl: Exported generic functions
unify-impl: Exported generic functions
unify-impl: Exported generic functions
unify-impl: Exported generic functions
unify-impl: Exported generic functions
unit: Internal macros

W
walk: Internal functions
walk*: Exported functions
walk-impl: Exported generic functions
walk-impl: Exported generic functions
walk-impl: Exported generic functions
walk-impl: Exported generic functions

Jump to:   (   =  
A   B   C   D   E   F   G   I   M   P   R   U   W  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.3 Variables

Jump to:   %   +  
H   N   S   T  
Index Entry  Section

%
%%+empty-stream+: Internal special variables
%%+empty-subst+: Internal special variables
%%+fail+: Internal special variables
%%+succeed+: Internal special variables

+
+empty-stream+: Internal symbol macros
+empty-subst+: Internal symbol macros
+fail+: Exported symbol macros
+succeed+: Exported symbol macros

H
head: Internal structures

N
name: Internal structures

S
Slot, head: Internal structures
Slot, name: Internal structures
Slot, tail: Internal structures
Special Variable, %%+empty-stream+: Internal special variables
Special Variable, %%+empty-subst+: Internal special variables
Special Variable, %%+fail+: Internal special variables
Special Variable, %%+succeed+: Internal special variables
Symbol Macro, +empty-stream+: Internal symbol macros
Symbol Macro, +empty-subst+: Internal symbol macros
Symbol Macro, +fail+: Exported symbol macros
Symbol Macro, +succeed+: Exported symbol macros

T
tail: Internal structures

Jump to:   %   +  
H   N   S   T  

Previous: , Up: Indexes   [Contents][Index]

A.4 Data types

Jump to:   C   I   K   P   S  
Index Entry  Section

C
choice: Internal structures

I
id: Internal structures

K
kanren-trs: The kanren-trs system
kanren-trs: The kanren-trs package

P
Package, kanren-trs: The kanren-trs package

S
Structure, choice: Internal structures
Structure, id: Internal structures
System, kanren-trs: The kanren-trs system

Jump to:   C   I   K   P   S