Class Summary |
ActivateBCRules |
This class represents an :ACTIVATE-BC-RULES Opcode in the AAM. |
ActivateFCRules |
This class represents a Test Opcode in the AAM. |
Any |
This class represents a Test Opcode in the AAM. |
Ask |
This class represents an ASK Opcode in the AAM. |
Assert |
This class represents a Assert Opcode in the AAM. |
Assume |
This class represents a Test Opcode in the AAM. |
Bind |
This class represents a Test Opcode in the AAM. |
Branch |
This class represents a Branch Opcode in the AAM. |
BranchByUser |
This class represents a BranchByUser Opcode in the AAM. |
Child |
Child expects a clause of the form (:CHILD parent child). |
ClassOp |
This class implements the CLASS Opcode in the AAM. |
Clause |
This class represents a CLAUSE Opcode in the AAM. |
ClearRelation |
This class represents a ClearRelation Opcode in the AAM. |
ConjunctiveBranch |
This class represents a ConjunctiveBranch Opcode in the AAM. |
ConjunctiveClear |
This class represents a ConjunctiveClear Opcode in the AAM. |
Continuation |
This class represents a Test Opcode in the AAM. |
Count |
This class implements the COUNT Opcode in the AAM. |
CreateClass |
This class represents a Test Opcode in the AAM. |
CreateFacet |
This class represents a Test Opcode in the AAM. |
CreateInstance |
This class represents a Test Opcode in the AAM. |
CreateRelation |
This opcode creates a new relation in the KB.. |
CreateRelationRules |
This class represents a CreateRelationRules Opcode in the AAM. |
CreateRules |
This class represents a CreateRules Opcode in the AAM. |
Date |
This class implements the Date Opcode in the AAM. |
DeleteClass |
This opcode deletes a class from the KB. |
DeleteClause |
This class represents a Test Opcode in the AAM. |
DeleteFacet |
This opcode deletes a facet from the KB. |
DeleteFrame |
This opcode deletes a frame from the KB. |
DeleteInstance |
This opcode deletes an instance from the KB. |
DeleteRelation |
This opcode deletes a relation from the KB. |
DirectClass |
This opcode confirms or retrieves the direct class of an instance. |
DirectInstance |
This opcode confirms or retrieves the direct instances of a class. |
DirectSubclass |
This opcode confirms or retrieves the direct instances of a class. |
DirectSuperclass |
This opcode confirms or retrieves the direct instances of a class. |
Eval |
This class represents an Eval Opcode in the AAM. |
Fire |
This class represents a Fire Opcode in the AAM. |
For |
This class implements the FOR Opcode in the AAM. |
Instance |
This class implements the Instance Opcode in the AAM. |
IsClass |
This opcode confirms a class in the KB. |
IsFacet |
This opcode confirms a facet in the KB. |
IsFrame |
This opcode confirms a frame in the KB. |
IsInstance |
This opcode confirms an instance in the KB. |
IsRelation |
This opcode confirms a relation in the KB. |
Label |
This class represents a Label Opcode in the AAM. |
LeafClass |
LeafClass expects a clause of the form (:LEAF-CLASS class ?var). |
LeastCommonSuperclass |
This opcode finds the least common superclass of two frames.. |
Limit |
This class implements the LIMIT Opcode in the AAM. |
MergeBindings |
This class represents a MergeBindings Opcode in the AAM. |
Name |
This class implements the :NAME operation. |
NotEqual |
This class represents a NEQ Opcode in the AAM. |
Parent |
Parent expects a clause of the form (:PARENT child parent). |
Pop |
This class represents a Test Opcode in the AAM. |
Print |
This class implements the Print and Println Opcode in the AAM. |
Push |
This class represents a Push Opcode in the AAM. |
Query |
This class represents a Query Opcode in the AAM. |
Return |
This class represents a Return Opcode in the AAM. |
RootClass |
Superclass expects a clause of the form (:ROOT-CLASS class ?var). |
Save |
This class represents a Test Opcode in the AAM. |
Select |
This class represents a Select Opcode in the AAM. |
Show |
This class represents a Show Opcode in the AAM. |
ShowCode |
This class represents a Test Opcode in the AAM. |
Skip |
This class represents a Skip Opcode in the AAM. |
Stop |
This class represents a Test Opcode in the AAM. |
Subclass |
Subclass expects a clause of the form (:SUBCLASS class ?var). |
Subroutine |
This class represents a Test Opcode in the AAM. |
SubstituteBindings |
This opcode performs a substitute bindings of the clause in the Clause register. |
SubstituteBindings1 |
This class represents a Substitute1 Opcode in the AAM. |
Superclass |
Superclass expects a clause of the form (:SUPERCLASS class ?var). |
TemplateRelation |
This class implements the TemplateRelation Opcode in the AAM. |
TestBound |
This class represents a Boundp Opcode in the AAM. |
TestFail |
This class represents a FAIL Opcode in the AAM. |
TestKnown |
This class represents a Test Opcode in the AAM. |
TestSucceed |
This class represents a Test Opcode in the AAM. |
TestTrue |
This class represents a Test Opcode in the AAM. |
TestUnbound |
This class represents a Test Opcode in the AAM. |
TestUnique |
This class represents a Test Opcode in the AAM. |
Trace |
This class implements the Trace Opcode in the AAM. |
UseKB |
This class implements the USE-KB Opcode in the AAM. |
Verify |
This class represents a Verify Opcode in the AAM. |