Common Lisp Package: LISA-USER

README:

FUNCTION

Private

CURRENT-ENGINE (&OPTIONAL (ERRORP T))

Returns the currently-active inference engine. Usually only invoked by code running within the context of WITH-INFERENCE-ENGINE.

Undocumented

ACTIVE-RULE

AGENDA (&OPTIONAL (CONTEXT-NAME NIL))

ALLOW-DUPLICATE-FACTS

ASSERT-INSTANCE (INSTANCE)

AUTO-FOCUS-P (RULE)

CLEAR

CONSIDER-TAXONOMY

CONTEXTS

DEPENDENCIES

ENGINE

FACTS

FIND-CONTEXT (RETE DEFINED-NAME &OPTIONAL (ERRORP T))

FIND-FACT-BY-ID (RETE FACT-ID)

FIND-FACT-BY-NAME (RETE FACT-NAME)

FIND-RULE (RETE RULE-NAME)

FOCUS (&REST ARGS)

FOCUS-STACK

HALT

IN-RULE-FIRING-P

INFERENCE-ENGINE (&REST ARGS)

MAKE-INFERENCE-ENGINE

MARK-INSTANCE-AS-CHANGED (INSTANCE &KEY (SLOT-ID NIL))

REFOCUS

RESET

RETRACT-INSTANCE (INSTANCE)

RULE

RULE-DEFAULT-NAME (RULE)

RULES (&OPTIONAL (CONTEXT-NAME NIL))

RUN (&OPTIONAL (CONTEXTS NIL))

SHOW-NETWORK (RETE-NETWORK &OPTIONAL (STRM *TERMINAL-IO*))

UNDEFRULE (RULE-NAME)

UNWATCH (EVENT)

USE-DEFAULT-ENGINE

USE-FANCY-ASSERT

WALK (&OPTIONAL (STEP 1))

WATCH (EVENT)

WATCHING

MACRO

Private

WITH-INFERENCE-ENGINE ((ENGINE) &BODY BODY)

Evaluates BODY within the context of the inference engine ENGINE. This macro is MP-safe.

WITH-SIMPLE-QUERY ((VAR VALUE) QUERY &BODY BODY)

For each variable/instance pair in a query result, invoke BODY with VAR bound to the query variable and VALUE bound to the instance.

Undocumented

ASSERT ((NAME &BODY BODY) &KEY (BELIEF NIL))

DEFCONTEXT (CONTEXT-NAME &OPTIONAL (STRATEGY NIL))

DEFFACTS (NAME (&KEY &ALLOW-OTHER-KEYS) &BODY BODY)

DEFRULE (NAME (&KEY (SALIENCE 0) (CONTEXT NIL) (BELIEF NIL) (AUTO-FOCUS NIL)) &BODY BODY)

DEFTEMPLATE (NAME (&KEY) &BODY BODY)

MODIFY (FACT &BODY BODY)

RETRIEVE ((&REST VARLIST) &BODY BODY)

UNDEFCONTEXT (CONTEXT-NAME)

GENERIC-FUNCTION

Private

Undocumented

RETRACT (FACT-OBJECT)

SLOT-VALUE-OF-INSTANCE (OBJECT SLOT-NAME)

SETFSLOT-VALUE-OF-INSTANCE (NEW-VALUE OBJECT SLOT-NAME)

SLOT-ACCESSOR

Private

Undocumented

CONTEXT-NAME (OBJECT)

FACT-ID (OBJECT)

SETFFACT-ID (NEW-VALUE OBJECT)

FACT-NAME (OBJECT)

RETE-NETWORK (OBJECT)

RULE-COMMENT (OBJECT)

RULE-CONTEXT (OBJECT)

RULE-NAME (CONDITION)

RULE-SALIENCE (OBJECT)

RULE-SHORT-NAME (OBJECT)

CLASS

Private

ACTIVATION

Represents a rule activation.

DEFFACTS (NAME (&KEY &ALLOW-OTHER-KEYS) &BODY BODY)

This class represents 'autoloaded' facts that are asserted automatically as part of an inference engine reset.

FACT

This class represents all facts in the knowledge base.

RULE

Represents production rules after they've been analysed by the language parser.

Undocumented

CONTEXT

INITIAL-FACT

RETE

RETE-NETWORK (OBJECT)

TOKEN

CONDITION

Private

Undocumented

DUPLICATE-FACT