com.cyc.cycjava.cycl.inference.harness
Class inference_datastructures_problem_query

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.inference.harness.inference_datastructures_problem_query

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_datastructures_problem_query
extends SubLTranslatedFile

Nested Class Summary

static class

inference_datastructures_problem_query.$formula_term_signature_visit$UnaryFunction

Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$kw17$POS
static SubLSymbol	$kw18$NEG
static SubLSymbol	$kw2$ALLOW_OTHER_KEYS
static SubLSymbol	$kw26$ALL
static SubLSymbol	$kw29$NONE
static SubLSymbol	$kw3$INDEX
static SubLSymbol	$kw30$SINGLE_LITERAL
static SubLSymbol	$kw4$DONE
static SubLList	$list0
static SubLList	$list1
static SubLList	$list11
static SubLList	$list14
static SubLList	$list16
static SubLList	$list20
static SubLList	$list21
static SubLString	$str19$_a_was_not_an_atomic_contextualiz
static SubLString	$str31$Unexpected_equality_reasoning_dom
static SubLSymbol	$sym10$CLET
static SubLSymbol	$sym12$DO_NEG_LITS_NUMBERED
static SubLSymbol	$sym13$DESTRUCTURE_CONTEXTUALIZED_ASENT
static SubLSymbol	$sym15$DO_POS_LITS_NUMBERED
static SubLSymbol	$sym22$CONTEXTUALIZED_CLAUSE
static SubLSymbol	$sym23$DO_CLAUSES
static SubLSymbol	$sym24$ATOMIC_CLAUSES_P
static SubLSymbol	$sym25$SINGLETON_
static SubLSymbol	$sym27$SUBCLAUSE_SPEC_P
static SubLSymbol	$sym28$DO_CONTEXTUALIZED_CLAUSES_LITERALS
static SubLSymbol	$sym32$HL_VARIABLE_P
static SubLSymbol	$sym33$SINGLE_CLAUSE_PROBLEM_QUERY_P
static SubLSymbol	$sym34$FORMULA_TERM_SIGNATURE_VISIT
static SubLSymbol	$sym35$TERM__
static SubLSymbol	$sym36$CAR
static SubLSymbol	$sym37$_
static SubLSymbol	$sym38$CDR
static SubLSymbol	$sym5$INDEX_VAR
static SubLSymbol	$sym6$DO_CONTEXTUALIZED_CLAUSE_LITERALS
static SubLSymbol	$sym7$IGNORE
static SubLSymbol	$sym8$CONTEXTUALIZED_ASENT
static SubLSymbol	$sym9$PROGN
static SubLFile	me
static java.lang.String	myName

Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

EMPTY_SUBL_OBJECT_ARRAY

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary

static SubLObject	contextualized_asent_asent(SubLObject contextualized_asent)
static SubLObject	contextualized_asent_mt(SubLObject contextualized_asent)
static SubLObject	contextualized_asent_predicate(SubLObject contextualized_asent)
static SubLObject	contextualized_clause_has_literal_with_predicateP(SubLObject contextualized_clause, SubLObject predicate)
static SubLObject	contextualized_dnf_clause_p(SubLObject object)
static SubLObject	contextualized_dnf_clauses_p(SubLObject object)
static SubLObject	declare_inference_datastructures_problem_query_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	hl_contextualized_asent_p(SubLObject object)
static SubLObject	inference_context_spec_p(SubLObject object)
static SubLObject	init_inference_datastructures_problem_query_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	make_contextualized_asent(SubLObject mt, SubLObject asent)
static SubLObject	mt_asent_sense_from_atomic_contextualized_clause(SubLObject contextualized_clause) assumes CONTEXTUALIZED-CLAUSE is an atomic-clause-p
static SubLObject	mt_asent_sense_from_singleton_query(SubLObject query) assumes QUERY is a singleton contextualized-dnf-clauses-p whose single element is an atomic-clause-p
static SubLObject	new_problem_query_from_contextualized_asent_sense(SubLObject contextualized_asent, SubLObject sense)
static SubLObject	new_problem_query_from_contextualized_clause(SubLObject contextualized_clause)
static SubLObject	new_problem_query_from_subclause_spec(SubLObject contextualized_clause, SubLObject subclause_spec)
static SubLObject	new_problem_query_without_subclause_spec(SubLObject contextualized_clause, SubLObject subclause_spec)
static SubLObject	problem_query_has_single_literal_p(SubLObject problem_query)
static SubLObject	problem_query_in_equality_reasoning_domainP(SubLObject query, SubLObject equality_reasoning_domain)
static SubLObject	problem_query_p(SubLObject object)
static SubLObject	problem_query_variables(SubLObject query)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_inference_datastructures_problem_query_file()
static SubLObject	single_clause_problem_query_p(SubLObject object)
static SubLObject	single_literal_problem_query_atomic_sentence(SubLObject query)
static SubLObject	single_literal_problem_query_mt(SubLObject query)
static SubLObject	single_literal_problem_query_p(SubLObject object)
static SubLObject	single_literal_problem_query_predicate(SubLObject query) Assuming QUERY is a @xref single-literal-problem-query-p, returns the predicate of its single contextualized literal.
static SubLObject	single_literal_problem_query_sense(SubLObject query)

Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

extractFunctionNamed

Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile

checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:

Constant Field Values

$list0

public static final SubLList $list0

$list1

public static final SubLList $list1

$kw2$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw2$ALLOW_OTHER_KEYS

$kw3$INDEX

public static final SubLSymbol $kw3$INDEX

$kw4$DONE

public static final SubLSymbol $kw4$DONE

$sym5$INDEX_VAR

public static final SubLSymbol $sym5$INDEX_VAR

$sym6$DO_CONTEXTUALIZED_CLAUSE_LITERALS

public static final SubLSymbol $sym6$DO_CONTEXTUALIZED_CLAUSE_LITERALS

$sym7$IGNORE

public static final SubLSymbol $sym7$IGNORE

$sym8$CONTEXTUALIZED_ASENT

public static final SubLSymbol $sym8$CONTEXTUALIZED_ASENT

$sym9$PROGN

public static final SubLSymbol $sym9$PROGN

$sym10$CLET

public static final SubLSymbol $sym10$CLET

$list11

public static final SubLList $list11

$sym12$DO_NEG_LITS_NUMBERED

public static final SubLSymbol $sym12$DO_NEG_LITS_NUMBERED

$sym13$DESTRUCTURE_CONTEXTUALIZED_ASENT

public static final SubLSymbol $sym13$DESTRUCTURE_CONTEXTUALIZED_ASENT

$list14

public static final SubLList $list14

$sym15$DO_POS_LITS_NUMBERED

public static final SubLSymbol $sym15$DO_POS_LITS_NUMBERED

$list16

public static final SubLList $list16

$kw17$POS

public static final SubLSymbol $kw17$POS

$kw18$NEG

public static final SubLSymbol $kw18$NEG

$str19$_a_was_not_an_atomic_contextualiz

public static final SubLString $str19$_a_was_not_an_atomic_contextualiz

$list20

public static final SubLList $list20

$list21

public static final SubLList $list21

$sym22$CONTEXTUALIZED_CLAUSE

public static final SubLSymbol $sym22$CONTEXTUALIZED_CLAUSE

$sym23$DO_CLAUSES

public static final SubLSymbol $sym23$DO_CLAUSES

$sym24$ATOMIC_CLAUSES_P

public static final SubLSymbol $sym24$ATOMIC_CLAUSES_P

$sym25$SINGLETON_

public static final SubLSymbol $sym25$SINGLETON_

$kw26$ALL

public static final SubLSymbol $kw26$ALL

$sym27$SUBCLAUSE_SPEC_P

public static final SubLSymbol $sym27$SUBCLAUSE_SPEC_P

$sym28$DO_CONTEXTUALIZED_CLAUSES_LITERALS

public static final SubLSymbol $sym28$DO_CONTEXTUALIZED_CLAUSES_LITERALS

$kw29$NONE

public static final SubLSymbol $kw29$NONE

$kw30$SINGLE_LITERAL

public static final SubLSymbol $kw30$SINGLE_LITERAL

$str31$Unexpected_equality_reasoning_dom

public static final SubLString $str31$Unexpected_equality_reasoning_dom

$sym32$HL_VARIABLE_P

public static final SubLSymbol $sym32$HL_VARIABLE_P

$sym33$SINGLE_CLAUSE_PROBLEM_QUERY_P

public static final SubLSymbol $sym33$SINGLE_CLAUSE_PROBLEM_QUERY_P

$sym34$FORMULA_TERM_SIGNATURE_VISIT

public static final SubLSymbol $sym34$FORMULA_TERM_SIGNATURE_VISIT

$sym35$TERM__

public static final SubLSymbol $sym35$TERM__

$sym36$CAR

public static final SubLSymbol $sym36$CAR

$sym37$_

public static final SubLSymbol $sym37$_

$sym38$CDR

public static final SubLSymbol $sym38$CDR

Method Detail

hl_contextualized_asent_p

public static final SubLObject hl_contextualized_asent_p(SubLObject object)

inference_context_spec_p

public static final SubLObject inference_context_spec_p(SubLObject object)

make_contextualized_asent

public static final SubLObject make_contextualized_asent(SubLObject mt,
                                                         SubLObject asent)

contextualized_asent_mt

public static final SubLObject contextualized_asent_mt(SubLObject contextualized_asent)

contextualized_asent_asent

public static final SubLObject contextualized_asent_asent(SubLObject contextualized_asent)

contextualized_asent_predicate

public static final SubLObject contextualized_asent_predicate(SubLObject contextualized_asent)

contextualized_dnf_clause_p

public static final SubLObject contextualized_dnf_clause_p(SubLObject object)

contextualized_clause_has_literal_with_predicateP

public static final SubLObject contextualized_clause_has_literal_with_predicateP(SubLObject contextualized_clause,
                                                                                 SubLObject predicate)

mt_asent_sense_from_atomic_contextualized_clause

public static final SubLObject mt_asent_sense_from_atomic_contextualized_clause(SubLObject contextualized_clause)

assumes CONTEXTUALIZED-CLAUSE is an atomic-clause-p

contextualized_dnf_clauses_p

public static final SubLObject contextualized_dnf_clauses_p(SubLObject object)

problem_query_p

public static final SubLObject problem_query_p(SubLObject object)

new_problem_query_from_contextualized_clause

public static final SubLObject new_problem_query_from_contextualized_clause(SubLObject contextualized_clause)

new_problem_query_from_subclause_spec

public static final SubLObject new_problem_query_from_subclause_spec(SubLObject contextualized_clause,
                                                                     SubLObject subclause_spec)

new_problem_query_without_subclause_spec

public static final SubLObject new_problem_query_without_subclause_spec(SubLObject contextualized_clause,
                                                                        SubLObject subclause_spec)

new_problem_query_from_contextualized_asent_sense

public static final SubLObject new_problem_query_from_contextualized_asent_sense(SubLObject contextualized_asent,
                                                                                 SubLObject sense)

problem_query_in_equality_reasoning_domainP

public static final SubLObject problem_query_in_equality_reasoning_domainP(SubLObject query,
                                                                           SubLObject equality_reasoning_domain)

problem_query_variables

public static final SubLObject problem_query_variables(SubLObject query)

single_clause_problem_query_p

public static final SubLObject single_clause_problem_query_p(SubLObject object)

single_literal_problem_query_p

public static final SubLObject single_literal_problem_query_p(SubLObject object)

Returns:

boolean; whether OBJECT is a problem query consisting of a single contextualized literal (either positive or negative).

problem_query_has_single_literal_p

public static final SubLObject problem_query_has_single_literal_p(SubLObject problem_query)

Returns:

boolean; whether PROBLEM-QUERY has only a single contextualized literal (either positive or negative).

single_literal_problem_query_sense

public static final SubLObject single_literal_problem_query_sense(SubLObject query)

Parameters:

QUERY - atomic-clauses-p;

Returns:

sense-p; Returns the sense of query.

single_literal_problem_query_mt

public static final SubLObject single_literal_problem_query_mt(SubLObject query)

single_literal_problem_query_atomic_sentence

public static final SubLObject single_literal_problem_query_atomic_sentence(SubLObject query)

single_literal_problem_query_predicate

public static final SubLObject single_literal_problem_query_predicate(SubLObject query)

Assuming QUERY is a @xref single-literal-problem-query-p, returns the predicate of its single contextualized literal.

mt_asent_sense_from_singleton_query

public static final SubLObject mt_asent_sense_from_singleton_query(SubLObject query)

assumes QUERY is a singleton contextualized-dnf-clauses-p whose single element is an atomic-clause-p

declare_inference_datastructures_problem_query_file

public static final SubLObject declare_inference_datastructures_problem_query_file()

init_inference_datastructures_problem_query_file

public static final SubLObject init_inference_datastructures_problem_query_file()

setup_inference_datastructures_problem_query_file

public static final SubLObject setup_inference_datastructures_problem_query_file()

declareFunctions

public void declareFunctions()

Description copied from interface: SubLFile

Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.

initializeVariables

public void initializeVariables()

Description copied from interface: SubLFile

Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.

runTopLevelForms

public void runTopLevelForms()

Description copied from interface: SubLFile

Runs all top-level forms in order. Like CRTL setup.