Common Lisp Package: KANREN-TRS

README:

FUNCTION

Public

Undocumented

== (V W)

MAKE-BINARY-RELATION (MAPPING)

MAKE-NARY-RELATION (N MAPPING)

MAKE-TERNARY-RELATION (MAPPING)

MAP-CHOICE (FUN &REST BINDINGS)

PERMUTE-BINARY-RELATION (RELATION)

PERMUTE-TERNARY-RELATION (RELATION)

REIFY-SUBST (ID? SUBST)

UNIFY (V W SUBST)

WALK* (ID? SUBST)

Private

CHOICE-HEAD (INSTANCE)

@arg[extid]{A @class{extid}} @return[sytemid]{puri:uri or nil} Returns the System ID part of this External ID.

CHOICE-TAIL (INSTANCE)

@arg[extid]{A @class{extid}} @return[sytemid]{puri:uri or nil} Returns the System ID part of this External ID.

ID-NAME (INSTANCE)

@arg[extid]{A @class{extid}} @return[sytemid]{puri:uri or nil} Returns the System ID part of this External ID.

Undocumented

BIND (A-INF GOAL)

BINDI (A-INF GOAL)

BINDING-ID (BINDING)

BINDING-VAL (BINDING)

CHOICE (HEAD TAIL)

SETFCHOICE-HEAD (NEW-VALUE INSTANCE)

CHOICE-P (OBJECT)

SETFCHOICE-TAIL (NEW-VALUE INSTANCE)

COPY-CHOICE (INSTANCE)

COPY-ID (INSTANCE)

EXTEND-SUBST (RHS LHS SUBST)

ID (NAME)

ID-BOUND-P (ID SUBST)

ID-P (OBJECT)

MAP-INF (N P A-INF)

MPLUS (A-INF FUN)

MPLUSI (A-INF FUN)

REIFY (ID?)

REIFY-NAME (N)

WALK (ID? SUBST)

MACRO

Public

Undocumented

ALL (&REST GOALS)

ALLI (&REST GOALS)

CHOICE-CASE (KEY-TERM &BODY CASES)

CONDA (&BODY CLAUSES)

CONDE (&BODY CLAUSES)

CONDI (&BODY CLAUSES)

CONDU (&BODY CLAUSES)

DEFCONST (NAME VALUE &OPTIONAL (DOCUMENTATION NIL DOCP))

FRESH ((&REST VARS) &BODY GOALS)

RUN (NUM (VAR) &BODY GOALS)

Private

Undocumented

ALL-AUX (BND &REST GOALS)

CASE-INF (EXPR ON-ZERO SINGLE-CLAUSE CHOICE-CLAUSE)

COND-AUX (IFER &BODY CLAUSES)

IFA (GOAL0 GOAL1 GOAL2)

IFE (GOAL0 GOAL1 GOAL2)

IFI (GOAL0 GOAL1 GOAL2)

IFU (GOAL0 GOAL1 GOAL2)

MZERO

UNIT (A)

GENERIC-FUNCTION

Public

Undocumented

EQUIVP (LHS RHS)

REIFY-SUBST-IMPL (VAL SUBST)

UNIFY-IMPL (V W SUBST)

WALK-IMPL (VAL SUBST)

VARIABLE

Private

Undocumented

%%+EMPTY-STREAM+

%%+EMPTY-SUBST+

%%+FAIL+

%%+SUCCEED+

CLASS

Private

Undocumented

CHOICE (HEAD TAIL)

ID (NAME)