edu.isi.powerloom.persistence
Class Persistence

java.lang.Object
  extended by edu.isi.powerloom.persistence.Persistence

public class Persistence
extends java.lang.Object


Field Summary
static StellaSpecialVariable $CURRENTLYREGENERATEDPROPOSITIONS$
           
static Module $CYC_MODULE$
           
static int $CYC_OBJECT_SEQUENCE_WARNING_LENGTH$
           
static Cons $CYC_PAGING_BREAK_PATTERN$
           
static boolean $CYC_RULES_ENABLEDp$
           
static java.lang.String $CYC_STORE_DEFAULT_BACKEND_HOST$
           
static int $CYC_STORE_DEFAULT_FI_PORT$
           
static java.lang.String $CYC_STORE_DEFAULT_INIT_FILE$
           
static java.lang.String $CYC_STORE_SUPPORT_LOAD_TIMESTAMP$
           
static StringHashTable $CYC_TO_POWERLOOM_NAME_TABLE$
           
static StellaSpecialVariable $IGNOREPERSISTENTSTOREp$
          If TRUE we don't try to page in anything from the persistent store associated with the current module.
static java.lang.String $LAST_CYC_KB_STATE_DESCRIPTOR$
           
static HashTable $POWERLOOM_TO_CYC_NAME_TABLE$
           
static Keyword KWD_CASE_SENSITIVEp
           
static Keyword KWD_CLASS
           
static Keyword KWD_CLOSED
           
static Keyword KWD_COLLECTION
           
static Keyword KWD_CONSTANT
           
static Keyword KWD_CONTEXT_INSTANCES
           
static Keyword KWD_CONTEXT_PROPOSITIONS
           
static Keyword KWD_CYC_STORE
           
static Keyword KWD_CYC_STORE_BRIEF
           
static Keyword KWD_DEPENDENTS
           
static Keyword KWD_DYNAMIC
           
static Keyword KWD_ERROR
           
static Keyword KWD_EXTENSIONAL_ASSERTION
           
static Keyword KWD_FALSE
           
static Keyword KWD_FORALL
           
static Keyword KWD_FORMULA
           
static Keyword KWD_FUNCTION
           
static Keyword KWD_IGNORE_TYPE_VIOLATIONS
           
static Keyword KWD_IMPLIES
           
static Keyword KWD_INSTANCE
           
static Keyword KWD_ISA
           
static Keyword KWD_JUST_IN_TIME_INFERENCE
           
static Keyword KWD_LAY
           
static Keyword KWD_MICRO_THEORY
           
static Keyword KWD_MICROTHEORYp
           
static Keyword KWD_NAME
           
static Keyword KWD_NONE
           
static Keyword KWD_PARAMETER_TYPES
           
static Keyword KWD_PREDICATE
           
static Keyword KWD_RELATION
           
static Keyword KWD_RESULT_TYPE
           
static Keyword KWD_RULES
           
static Keyword KWD_TRUE
           
static Keyword KWD_TRUTH_VALUE
           
static Keyword KWD_USES
           
static Keyword KWD_VARIABLE_ARITYp
           
static Surrogate SGT_LOGIC_DESCRIPTION
           
static Surrogate SGT_LOGIC_LOGIC_OBJECT
           
static Surrogate SGT_LOGIC_NAMED_DESCRIPTION
           
static Surrogate SGT_LOGIC_PROPOSITION
           
static Surrogate SGT_LOGIC_SKOLEM
           
static Surrogate SGT_PERSISTENCE_CYC_EVALUATION_ITERATOR
           
static Surrogate SGT_PERSISTENCE_CYC_PAGING_INDEX
           
static Surrogate SGT_PERSISTENCE_CYC_PAGING_INDEX_ITERATOR
           
static Surrogate SGT_PERSISTENCE_CYC_STORE
           
static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_000
           
static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_001
           
static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_002
           
static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_003
           
static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_PROPOSITION_BY_ID_MEMO_TABLE_000
           
static Surrogate SGT_PERSISTENCE_M_CYC_EVALUATION_ITERATORdNEXTp_MEMO_TABLE_000
           
static Surrogate SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_000
           
static Surrogate SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_001
           
static Surrogate SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_002
           
static Surrogate SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_003
           
static Surrogate SGT_PERSISTENCE_PERSISTENT_STORE
           
static Surrogate SGT_PL_KERNEL_KB_CLASS
           
static Surrogate SGT_PL_KERNEL_KB_FUNCTION
           
static Surrogate SGT_PL_KERNEL_KB_RELATION
           
static Surrogate SGT_PL_KERNEL_KB_SUBSET_OF
           
static Surrogate SGT_PL_KERNEL_KB_VARIABLE_ARITY
           
static Surrogate SGT_STELLA_CONS
           
static Surrogate SGT_STELLA_GENERALIZED_SYMBOL
           
static Surrogate SGT_STELLA_THING
           
static Symbol SYM_LOGIC_FAIL
           
static Symbol SYM_LOGIC_KAPPA
           
static Symbol SYM_LOGIC_OBJECT_STORE
           
static Symbol SYM_LOGIC_PROPOSITION
           
static Symbol SYM_LOGIC_SETOFALL
           
static Symbol SYM_LOGIC_STORE
           
static Symbol SYM_PERSISTENCE_CURRENT_MICROTHEORY
           
static Symbol SYM_PERSISTENCE_CYC_ORIGIN
           
static Symbol SYM_PERSISTENCE_FI_COMMAND_STREAM
           
static Symbol SYM_PERSISTENCE_FI_INIT_FILE
           
static Symbol SYM_PERSISTENCE_FI_PORT
           
static Symbol SYM_PERSISTENCE_FI_RESULT_STREAM
           
static Symbol SYM_PERSISTENCE_MICROTHEORY
           
static Symbol SYM_PERSISTENCE_MICROTHEORY_TABLE
           
static Symbol SYM_PERSISTENCE_PAGING_ITERATOR_CURSOR
           
static Symbol SYM_PERSISTENCE_STARTUP_CYC_STORE
           
static Symbol SYM_PERSISTENCE_STARTUP_PERSISTENCE_SYSTEM
           
static Symbol SYM_PERSISTENCE_STARTUP_PERSISTENT_STORE
           
static Symbol SYM_PERSISTENCE_THE_PAGING_SEQUENCE_LENGTH
           
static Symbol SYM_PL_KERNEL_KB__
           
static Symbol SYM_PL_KERNEL_KB_$
           
static Symbol SYM_PL_KERNEL_KB_CARDINALITY
           
static Symbol SYM_PL_KERNEL_KB_CLOSED
           
static Symbol SYM_PL_KERNEL_KB_DISJOINT
           
static Symbol SYM_PL_KERNEL_KB_DOCUMENTATION
           
static Symbol SYM_PL_KERNEL_KB_g
           
static Symbol SYM_PL_KERNEL_KB_ge
           
static Symbol SYM_PL_KERNEL_KB_i
           
static Symbol SYM_PL_KERNEL_KB_INSTANCE_OF
           
static Symbol SYM_PL_KERNEL_KB_IST
           
static Symbol SYM_PL_KERNEL_KB_LISTOF
           
static Symbol SYM_PL_KERNEL_KB_s
           
static Symbol SYM_PL_KERNEL_KB_SETOF
           
static Symbol SYM_PL_KERNEL_KB_SUBSET_OF
           
static Symbol SYM_STELLA_AND
           
static Symbol SYM_STELLA_BADp
           
static Symbol SYM_STELLA_CONCEIVE
           
static Symbol SYM_STELLA_e
           
static Symbol SYM_STELLA_eg
           
static Symbol SYM_STELLA_EXISTS
           
static Symbol SYM_STELLA_FALSE
           
static Symbol SYM_STELLA_FORALL
           
static Symbol SYM_STELLA_HOST
           
static Symbol SYM_STELLA_INDEX
           
static Symbol SYM_STELLA_INTEGER
           
static Symbol SYM_STELLA_METHOD_STARTUP_CLASSNAME
           
static Symbol SYM_STELLA_MODULE
           
static Symbol SYM_STELLA_NIL
           
static Symbol SYM_STELLA_NOT
           
static Symbol SYM_STELLA_NULL
           
static Symbol SYM_STELLA_NUMBER
           
static Symbol SYM_STELLA_OR
           
static Symbol SYM_STELLA_STRING
           
static Symbol SYM_STELLA_THING
           
static Symbol SYM_STELLA_TRUE
           
 
Constructor Summary
Persistence()
           
 
Method Summary
static Context changeMicrotheory(Stella_Object mt)
          Change the current context to microtheory mt, or return the current context if mt is not a defined microtheory in Cyc.
static void closePersistentModule(Module module)
           
static Context cmt(Cons mt)
          Change the current context to microtheory mt, or return the current microtheory if no name was supplied.
static Context cmtEvaluatorWrapper(Cons arguments)
           
static void connectToCycBackend(java.lang.String host, int retries)
          Connect to the FI interface on the Cyc knowledge server on host.
static void connectToCycBackendEvaluatorWrapper(Cons arguments)
           
static NamedDescription createRelationDescription(Symbol name, Keyword kind, List iovariablenames, List iovariabletypes, boolean variablearityP)
           
static CycStore currentCycStore()
           
static boolean cycCollectionP(java.lang.String name, CycStore store)
           
static boolean cycFunctionP(java.lang.String name, CycStore store)
           
static java.lang.String cyclifyString(java.lang.String tree, boolean safeP)
           
static java.lang.String cyclifyTree(Stella_Object tree, boolean safeP)
           
static java.lang.String cycMicrotheoryObject(java.lang.String cyclifiedmt)
           
static Module cycModule(java.lang.String mt)
           
static boolean cycPlainInstanceP(java.lang.String name, CycStore store)
           
static boolean cycRelationP(java.lang.String name, CycStore store)
           
static Keyword cycTermCategory(java.lang.String name, CycStore store)
           
static void defineCycToPowerloomMapping(java.lang.String cycname, Symbol plname)
           
static void disableCycRules()
           
static void enableCycRules()
           
static Stella_Object evaluateCycSublispExpression(java.lang.String expression, CycStore store)
           
static java.lang.String getCycKbStateDescriptor()
           
static Stella_Object helpEvaluateCycSublispExpression(java.lang.String expression, CycStore store)
           
static boolean ignorePersistentStoreP()
          Return TRUE if we shouldn't page in anything from the persistent store associated with the current module.
static void main(java.lang.String[] argv001)
           
static Module openCycStore(java.lang.String host, int port, Module module)
           
static boolean persistentModuleP(Module module)
           
static void printCycKbStateDescriptor(OutputStream stream)
           
static void synchronizeWithCyc()
           
static boolean testCstorePredicateExpressionP(java.lang.String expression, CycStore store)
           
static boolean testCycSublispExpressionP(java.lang.String expression, CycStore store)
           
static Stella_Object translateCycNamesToPowerloom(Stella_Object tree)
           
static Symbol translateCycNameToPowerloom(java.lang.String cycname)
           
static Cons translateCycSentence(Cons sentence)
           
static Stella_Object translatePowerloomNamesToCyc(Stella_Object tree)
           
static java.lang.String translatePowerloomNameToCyc(Stella_Object plname)
           
static void uploadCycSublispFile(java.lang.String file, CycStore store)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

SYM_LOGIC_OBJECT_STORE

public static Symbol SYM_LOGIC_OBJECT_STORE

SGT_PERSISTENCE_PERSISTENT_STORE

public static Surrogate SGT_PERSISTENCE_PERSISTENT_STORE

$IGNOREPERSISTENTSTOREp$

public static final StellaSpecialVariable $IGNOREPERSISTENTSTOREp$
If TRUE we don't try to page in anything from the persistent store associated with the current module.


KWD_ERROR

public static Keyword KWD_ERROR

KWD_EXTENSIONAL_ASSERTION

public static Keyword KWD_EXTENSIONAL_ASSERTION

KWD_CLASS

public static Keyword KWD_CLASS

SGT_PL_KERNEL_KB_CLASS

public static Surrogate SGT_PL_KERNEL_KB_CLASS

KWD_FUNCTION

public static Keyword KWD_FUNCTION

SGT_PL_KERNEL_KB_FUNCTION

public static Surrogate SGT_PL_KERNEL_KB_FUNCTION

KWD_RELATION

public static Keyword KWD_RELATION

SGT_PL_KERNEL_KB_RELATION

public static Surrogate SGT_PL_KERNEL_KB_RELATION

SGT_PL_KERNEL_KB_VARIABLE_ARITY

public static Surrogate SGT_PL_KERNEL_KB_VARIABLE_ARITY

SYM_STELLA_BADp

public static Symbol SYM_STELLA_BADp

SYM_PERSISTENCE_STARTUP_PERSISTENT_STORE

public static Symbol SYM_PERSISTENCE_STARTUP_PERSISTENT_STORE

SYM_STELLA_METHOD_STARTUP_CLASSNAME

public static Symbol SYM_STELLA_METHOD_STARTUP_CLASSNAME

$CYC_STORE_DEFAULT_BACKEND_HOST$

public static java.lang.String $CYC_STORE_DEFAULT_BACKEND_HOST$

$CYC_STORE_DEFAULT_FI_PORT$

public static int $CYC_STORE_DEFAULT_FI_PORT$

$CYC_STORE_DEFAULT_INIT_FILE$

public static java.lang.String $CYC_STORE_DEFAULT_INIT_FILE$

SGT_PERSISTENCE_CYC_STORE

public static Surrogate SGT_PERSISTENCE_CYC_STORE

SYM_STELLA_HOST

public static Symbol SYM_STELLA_HOST

SYM_PERSISTENCE_FI_PORT

public static Symbol SYM_PERSISTENCE_FI_PORT

SYM_PERSISTENCE_FI_INIT_FILE

public static Symbol SYM_PERSISTENCE_FI_INIT_FILE

SYM_PERSISTENCE_FI_COMMAND_STREAM

public static Symbol SYM_PERSISTENCE_FI_COMMAND_STREAM

SYM_PERSISTENCE_FI_RESULT_STREAM

public static Symbol SYM_PERSISTENCE_FI_RESULT_STREAM

SYM_PERSISTENCE_CURRENT_MICROTHEORY

public static Symbol SYM_PERSISTENCE_CURRENT_MICROTHEORY

SYM_PERSISTENCE_MICROTHEORY_TABLE

public static Symbol SYM_PERSISTENCE_MICROTHEORY_TABLE

$CYC_STORE_SUPPORT_LOAD_TIMESTAMP$

public static java.lang.String $CYC_STORE_SUPPORT_LOAD_TIMESTAMP$

KWD_CLOSED

public static Keyword KWD_CLOSED

SYM_STELLA_NULL

public static Symbol SYM_STELLA_NULL

SYM_STELLA_NIL

public static Symbol SYM_STELLA_NIL

SYM_STELLA_TRUE

public static Symbol SYM_STELLA_TRUE

SYM_STELLA_FALSE

public static Symbol SYM_STELLA_FALSE

$CYC_MODULE$

public static Module $CYC_MODULE$

KWD_USES

public static Keyword KWD_USES

KWD_CASE_SENSITIVEp

public static Keyword KWD_CASE_SENSITIVEp

SGT_STELLA_CONS

public static Surrogate SGT_STELLA_CONS

KWD_COLLECTION

public static Keyword KWD_COLLECTION

KWD_INSTANCE

public static Keyword KWD_INSTANCE

$CYC_TO_POWERLOOM_NAME_TABLE$

public static StringHashTable $CYC_TO_POWERLOOM_NAME_TABLE$

$POWERLOOM_TO_CYC_NAME_TABLE$

public static HashTable $POWERLOOM_TO_CYC_NAME_TABLE$

SYM_STELLA_THING

public static Symbol SYM_STELLA_THING

SYM_PL_KERNEL_KB_SUBSET_OF

public static Symbol SYM_PL_KERNEL_KB_SUBSET_OF

SYM_PL_KERNEL_KB_INSTANCE_OF

public static Symbol SYM_PL_KERNEL_KB_INSTANCE_OF

SYM_PL_KERNEL_KB_IST

public static Symbol SYM_PL_KERNEL_KB_IST

SYM_PL_KERNEL_KB_DOCUMENTATION

public static Symbol SYM_PL_KERNEL_KB_DOCUMENTATION

SYM_STELLA_STRING

public static Symbol SYM_STELLA_STRING

SYM_STELLA_INTEGER

public static Symbol SYM_STELLA_INTEGER

SYM_STELLA_NUMBER

public static Symbol SYM_STELLA_NUMBER

SYM_STELLA_AND

public static Symbol SYM_STELLA_AND

SYM_STELLA_OR

public static Symbol SYM_STELLA_OR

SYM_STELLA_NOT

public static Symbol SYM_STELLA_NOT

SYM_STELLA_eg

public static Symbol SYM_STELLA_eg

SYM_STELLA_FORALL

public static Symbol SYM_STELLA_FORALL

SYM_STELLA_EXISTS

public static Symbol SYM_STELLA_EXISTS

SYM_STELLA_e

public static Symbol SYM_STELLA_e

SYM_LOGIC_FAIL

public static Symbol SYM_LOGIC_FAIL

SYM_LOGIC_PROPOSITION

public static Symbol SYM_LOGIC_PROPOSITION

SYM_LOGIC_SETOFALL

public static Symbol SYM_LOGIC_SETOFALL

SYM_LOGIC_KAPPA

public static Symbol SYM_LOGIC_KAPPA

SYM_PL_KERNEL_KB_LISTOF

public static Symbol SYM_PL_KERNEL_KB_LISTOF

SYM_PL_KERNEL_KB_SETOF

public static Symbol SYM_PL_KERNEL_KB_SETOF

SYM_PL_KERNEL_KB_DISJOINT

public static Symbol SYM_PL_KERNEL_KB_DISJOINT

SYM_PL_KERNEL_KB_CLOSED

public static Symbol SYM_PL_KERNEL_KB_CLOSED

SYM_PL_KERNEL_KB_CARDINALITY

public static Symbol SYM_PL_KERNEL_KB_CARDINALITY

SYM_PL_KERNEL_KB_g

public static Symbol SYM_PL_KERNEL_KB_g

SYM_PL_KERNEL_KB_ge

public static Symbol SYM_PL_KERNEL_KB_ge

SYM_PL_KERNEL_KB_i

public static Symbol SYM_PL_KERNEL_KB_i

SYM_PL_KERNEL_KB__

public static Symbol SYM_PL_KERNEL_KB__

SYM_PL_KERNEL_KB_$

public static Symbol SYM_PL_KERNEL_KB_$

SYM_PL_KERNEL_KB_s

public static Symbol SYM_PL_KERNEL_KB_s

SGT_STELLA_GENERALIZED_SYMBOL

public static Surrogate SGT_STELLA_GENERALIZED_SYMBOL

SGT_LOGIC_NAMED_DESCRIPTION

public static Surrogate SGT_LOGIC_NAMED_DESCRIPTION

SGT_LOGIC_SKOLEM

public static Surrogate SGT_LOGIC_SKOLEM

SGT_LOGIC_DESCRIPTION

public static Surrogate SGT_LOGIC_DESCRIPTION

SGT_LOGIC_LOGIC_OBJECT

public static Surrogate SGT_LOGIC_LOGIC_OBJECT

SGT_STELLA_THING

public static Surrogate SGT_STELLA_THING

SGT_LOGIC_PROPOSITION

public static Surrogate SGT_LOGIC_PROPOSITION

SGT_PL_KERNEL_KB_SUBSET_OF

public static Surrogate SGT_PL_KERNEL_KB_SUBSET_OF

KWD_CYC_STORE

public static Keyword KWD_CYC_STORE

KWD_CYC_STORE_BRIEF

public static Keyword KWD_CYC_STORE_BRIEF

KWD_NAME

public static Keyword KWD_NAME

KWD_PARAMETER_TYPES

public static Keyword KWD_PARAMETER_TYPES

KWD_RESULT_TYPE

public static Keyword KWD_RESULT_TYPE

KWD_VARIABLE_ARITYp

public static Keyword KWD_VARIABLE_ARITYp

KWD_MICROTHEORYp

public static Keyword KWD_MICROTHEORYp

SGT_PERSISTENCE_CYC_PAGING_INDEX

public static Surrogate SGT_PERSISTENCE_CYC_PAGING_INDEX

SYM_LOGIC_STORE

public static Symbol SYM_LOGIC_STORE

SYM_STELLA_MODULE

public static Symbol SYM_STELLA_MODULE

SYM_PERSISTENCE_THE_PAGING_SEQUENCE_LENGTH

public static Symbol SYM_PERSISTENCE_THE_PAGING_SEQUENCE_LENGTH

$CYC_OBJECT_SEQUENCE_WARNING_LENGTH$

public static int $CYC_OBJECT_SEQUENCE_WARNING_LENGTH$

$CYC_RULES_ENABLEDp$

public static boolean $CYC_RULES_ENABLEDp$

KWD_DEPENDENTS

public static Keyword KWD_DEPENDENTS

SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_000

public static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_000

KWD_ISA

public static Keyword KWD_ISA

SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_001

public static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_001

SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_002

public static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_002

KWD_RULES

public static Keyword KWD_RULES

SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_003

public static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_003

KWD_CONTEXT_PROPOSITIONS

public static Keyword KWD_CONTEXT_PROPOSITIONS

KWD_CONTEXT_INSTANCES

public static Keyword KWD_CONTEXT_INSTANCES

SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_000

public static Surrogate SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_000

SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_001

public static Surrogate SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_001

SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_002

public static Surrogate SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_002

SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_003

public static Surrogate SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_003

SGT_PERSISTENCE_CYC_PAGING_INDEX_ITERATOR

public static Surrogate SGT_PERSISTENCE_CYC_PAGING_INDEX_ITERATOR

SYM_STELLA_INDEX

public static Symbol SYM_STELLA_INDEX

SYM_PERSISTENCE_PAGING_ITERATOR_CURSOR

public static Symbol SYM_PERSISTENCE_PAGING_ITERATOR_CURSOR

SYM_PERSISTENCE_MICROTHEORY

public static Symbol SYM_PERSISTENCE_MICROTHEORY

SGT_PERSISTENCE_CYC_EVALUATION_ITERATOR

public static Surrogate SGT_PERSISTENCE_CYC_EVALUATION_ITERATOR

$CYC_PAGING_BREAK_PATTERN$

public static Cons $CYC_PAGING_BREAK_PATTERN$

SGT_PERSISTENCE_M_CYC_EVALUATION_ITERATORdNEXTp_MEMO_TABLE_000

public static Surrogate SGT_PERSISTENCE_M_CYC_EVALUATION_ITERATORdNEXTp_MEMO_TABLE_000

KWD_TRUE

public static Keyword KWD_TRUE

KWD_FALSE

public static Keyword KWD_FALSE

$CURRENTLYREGENERATEDPROPOSITIONS$

public static final StellaSpecialVariable $CURRENTLYREGENERATEDPROPOSITIONS$

SGT_PERSISTENCE_F_FETCH_CYC_PROPOSITION_BY_ID_MEMO_TABLE_000

public static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_PROPOSITION_BY_ID_MEMO_TABLE_000

KWD_CONSTANT

public static Keyword KWD_CONSTANT

KWD_PREDICATE

public static Keyword KWD_PREDICATE

KWD_FORALL

public static Keyword KWD_FORALL

SYM_PERSISTENCE_CYC_ORIGIN

public static Symbol SYM_PERSISTENCE_CYC_ORIGIN

KWD_IMPLIES

public static Keyword KWD_IMPLIES

KWD_TRUTH_VALUE

public static Keyword KWD_TRUTH_VALUE

KWD_MICRO_THEORY

public static Keyword KWD_MICRO_THEORY

KWD_FORMULA

public static Keyword KWD_FORMULA

SYM_STELLA_CONCEIVE

public static Symbol SYM_STELLA_CONCEIVE

$LAST_CYC_KB_STATE_DESCRIPTOR$

public static java.lang.String $LAST_CYC_KB_STATE_DESCRIPTOR$

KWD_JUST_IN_TIME_INFERENCE

public static Keyword KWD_JUST_IN_TIME_INFERENCE

KWD_DYNAMIC

public static Keyword KWD_DYNAMIC

KWD_IGNORE_TYPE_VIOLATIONS

public static Keyword KWD_IGNORE_TYPE_VIOLATIONS

KWD_NONE

public static Keyword KWD_NONE

KWD_LAY

public static Keyword KWD_LAY

SYM_PERSISTENCE_STARTUP_CYC_STORE

public static Symbol SYM_PERSISTENCE_STARTUP_CYC_STORE

SYM_PERSISTENCE_STARTUP_PERSISTENCE_SYSTEM

public static Symbol SYM_PERSISTENCE_STARTUP_PERSISTENCE_SYSTEM
Constructor Detail

Persistence

public Persistence()
Method Detail

persistentModuleP

public static boolean persistentModuleP(Module module)

closePersistentModule

public static void closePersistentModule(Module module)

ignorePersistentStoreP

public static boolean ignorePersistentStoreP()
Return TRUE if we shouldn't page in anything from the persistent store associated with the current module.

Returns:
boolean

createRelationDescription

public static NamedDescription createRelationDescription(Symbol name,
                                                         Keyword kind,
                                                         List iovariablenames,
                                                         List iovariabletypes,
                                                         boolean variablearityP)

openCycStore

public static Module openCycStore(java.lang.String host,
                                  int port,
                                  Module module)

helpEvaluateCycSublispExpression

public static Stella_Object helpEvaluateCycSublispExpression(java.lang.String expression,
                                                             CycStore store)

evaluateCycSublispExpression

public static Stella_Object evaluateCycSublispExpression(java.lang.String expression,
                                                         CycStore store)

testCycSublispExpressionP

public static boolean testCycSublispExpressionP(java.lang.String expression,
                                                CycStore store)

testCstorePredicateExpressionP

public static boolean testCstorePredicateExpressionP(java.lang.String expression,
                                                     CycStore store)

uploadCycSublispFile

public static void uploadCycSublispFile(java.lang.String file,
                                        CycStore store)

cycModule

public static Module cycModule(java.lang.String mt)

currentCycStore

public static CycStore currentCycStore()

cyclifyString

public static java.lang.String cyclifyString(java.lang.String tree,
                                             boolean safeP)

cyclifyTree

public static java.lang.String cyclifyTree(Stella_Object tree,
                                           boolean safeP)

cycMicrotheoryObject

public static java.lang.String cycMicrotheoryObject(java.lang.String cyclifiedmt)

changeMicrotheory

public static Context changeMicrotheory(Stella_Object mt)
Change the current context to microtheory mt, or return the current context if mt is not a defined microtheory in Cyc.

Parameters:
mt -
Returns:
Context

cmt

public static Context cmt(Cons mt)
Change the current context to microtheory mt, or return the current microtheory if no name was supplied.

Parameters:
mt -
Returns:
Context

cmtEvaluatorWrapper

public static Context cmtEvaluatorWrapper(Cons arguments)

cycTermCategory

public static Keyword cycTermCategory(java.lang.String name,
                                      CycStore store)

cycCollectionP

public static boolean cycCollectionP(java.lang.String name,
                                     CycStore store)

cycFunctionP

public static boolean cycFunctionP(java.lang.String name,
                                   CycStore store)

cycRelationP

public static boolean cycRelationP(java.lang.String name,
                                   CycStore store)

cycPlainInstanceP

public static boolean cycPlainInstanceP(java.lang.String name,
                                        CycStore store)

defineCycToPowerloomMapping

public static void defineCycToPowerloomMapping(java.lang.String cycname,
                                               Symbol plname)

translateCycNameToPowerloom

public static Symbol translateCycNameToPowerloom(java.lang.String cycname)

translatePowerloomNameToCyc

public static java.lang.String translatePowerloomNameToCyc(Stella_Object plname)

translateCycNamesToPowerloom

public static Stella_Object translateCycNamesToPowerloom(Stella_Object tree)

translatePowerloomNamesToCyc

public static Stella_Object translatePowerloomNamesToCyc(Stella_Object tree)

translateCycSentence

public static Cons translateCycSentence(Cons sentence)

enableCycRules

public static void enableCycRules()

disableCycRules

public static void disableCycRules()

getCycKbStateDescriptor

public static java.lang.String getCycKbStateDescriptor()

printCycKbStateDescriptor

public static void printCycKbStateDescriptor(OutputStream stream)

synchronizeWithCyc

public static void synchronizeWithCyc()

connectToCycBackend

public static void connectToCycBackend(java.lang.String host,
                                       int retries)
Connect to the FI interface on the Cyc knowledge server on host. If host is NULL, use the value of CycStoreBackendHost in the configuration file or localhost. Assumes the default FI port unless it is overridden via a setting of CycStoreFIPort in the configuration file. retries specifies how often we should retry to connect in 5 second intervals. If retries is <0, try forever.

Parameters:
host -
retries -

connectToCycBackendEvaluatorWrapper

public static void connectToCycBackendEvaluatorWrapper(Cons arguments)

main

public static void main(java.lang.String[] argv001)