com.cyc.cycjava.cycl
Class clause_utilities

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.clause_utilities

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class clause_utilities
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const20$ist
static SubLObject	$const23$and
static SubLObject	$const25$or
static SubLSymbol	$kw10$TRUE
static SubLSymbol	$kw12$NEG
static SubLSymbol	$kw15$POS
static SubLList	$list0
static SubLList	$list13
static SubLList	$list16
static SubLList	$list19
static SubLList	$list2
static SubLList	$list32
static SubLList	$list9
static SubLSymbol	$sym1$CDESTRUCTURING_BIND
static SubLSymbol	$sym11$SENSE_P
static SubLSymbol	$sym14$CYC_VAR_
static SubLSymbol	$sym17$NEGATE_CLAUSE
static SubLSymbol	$sym18$NEGATE_ATOMIC
static SubLSymbol	$sym21$CONTEXTUALIZED_LITERAL_TO_IST_SENTENCE
static SubLSymbol	$sym22$NEGATE
static SubLSymbol	$sym24$LISTP
static SubLSymbol	$sym26$CONTEXTUALIZED_DNF_FORMULA
static SubLSymbol	$sym27$CONTEXTUALIZED_ASENT_ASENT
static SubLSymbol	$sym28$DECONTEXTUALIZE_CONTEXTUALIZED_CLAUSE
static SubLSymbol	$sym29$NON_DOTTED_LIST_P
static SubLSymbol	$sym3$INDEX
static SubLSymbol	$sym30$NON_NEGATIVE_INTEGER_P
static SubLSymbol	$sym31$_
static SubLSymbol	$sym33$_
static SubLSymbol	$sym4$DO_LITERALS_NUMBERED
static SubLSymbol	$sym5$PWHEN
static SubLSymbol	$sym6$INDEX_AND_SENSE_MATCH_SUBCLAUSE_SPEC_
static SubLSymbol	$sym7$INDEX
static SubLSymbol	$sym8$PUNLESS
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	all_literals_as_asents(SubLObject clause)
static SubLObject	atomic_clause_asent(SubLObject atomic_clause) returns the single pos-lit if it's a positive gaf clause, or the single neg-lit if it's a negated gaf clause.
static SubLObject	atomic_clause_with_all_var_argsP(SubLObject clause)
static SubLObject	atomic_clauses_p(SubLObject object)
static SubLObject	atomic_cnf_asent(SubLObject atomic_clause) returns the single pos-lit if it's a positive gaf cnf, or the single neg-lit if it's a negated gaf cnf.
static SubLObject	atomic_cnf_predicate(SubLObject atomic_clause)
static SubLObject	binary_clause_p(SubLObject clause)
static SubLObject	canonicalize_literal_indices(SubLObject indices)
static SubLObject	clause_free_variables(SubLObject clause, SubLObject varP, SubLObject include_sequence_varsP)
static SubLObject	clause_literal_count(SubLObject clause)
static SubLObject	clause_number_of_literals(SubLObject clause)
static SubLObject	clause_with_lit_counts_p(SubLObject clause, SubLObject neg_lit_count, SubLObject pos_lit_count)
static SubLObject	complement_of_subclause_specified_by_spec(SubLObject clause, SubLObject subclause_spec)
static SubLObject	declare_clause_utilities_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	gaf_cnf_literal(SubLObject cnf)
static SubLObject	index_and_sense_match_subclause_specP(SubLObject index, SubLObject sense, SubLObject subclause_spec)
static SubLObject	init_clause_utilities_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	literal_indices_from_literals(SubLObject big_lits, SubLObject little_lits)
static SubLObject	make_gaf_cnf(SubLObject asent)
static SubLObject	ncanonicalize_literal_indices(SubLObject indices)
static SubLObject	neg_atomic_clause_p(SubLObject clause)
static SubLObject	new_complement_subclause_spec(SubLObject subclause_spec, SubLObject sample_clause)
static SubLObject	new_single_literal_subclause_spec(SubLObject sense, SubLObject index)
static SubLObject	new_subclause_spec(SubLObject negative_indices, SubLObject positive_indices)
static SubLObject	nmake_clause(SubLObject neg_lits, SubLObject pos_lits, SubLObject clause) Destructively modify CLAUSE to have NEG-LITS and POS-LITS.
static SubLObject	nmake_dnf(SubLObject neg_lits, SubLObject pos_lits, SubLObject dnf) Destructively modify DNF to have NEG-LITS and POS-LITS, and return DNF itself.
static SubLObject	pos_atomic_clause_p(SubLObject clause)
static SubLObject	pos_atomic_clauses_p(SubLObject object)
static SubLObject	pos_atomic_cnf_p(SubLObject cnf)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_clause_utilities_file()
static SubLObject	single_literal_subclause_specP(SubLObject subclause_spec) Return T iff SUBCLAUSE-SPEC specifies a single literal.
static SubLObject	subclause_spec_from_clauses(SubLObject big_clause, SubLObject little_clause)
static SubLObject	subclause_spec_literal_count(SubLObject subclause_spec)
static SubLObject	subclause_spec_negative_indices(SubLObject subclause_spec)
static SubLObject	subclause_spec_positive_indices(SubLObject subclause_spec)
static SubLObject	subclause_specified_by_spec(SubLObject clause, SubLObject subclause_spec)
static SubLObject	unmake_clause(SubLObject clause)

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

$sym1$CDESTRUCTURING_BIND

public static final SubLSymbol $sym1$CDESTRUCTURING_BIND

$list2

public static final SubLList $list2

$sym3$INDEX

public static final SubLSymbol $sym3$INDEX

$sym4$DO_LITERALS_NUMBERED

public static final SubLSymbol $sym4$DO_LITERALS_NUMBERED

$sym5$PWHEN

public static final SubLSymbol $sym5$PWHEN

$sym6$INDEX_AND_SENSE_MATCH_SUBCLAUSE_SPEC_

public static final SubLSymbol $sym6$INDEX_AND_SENSE_MATCH_SUBCLAUSE_SPEC_

$sym7$INDEX

public static final SubLSymbol $sym7$INDEX

$sym8$PUNLESS

public static final SubLSymbol $sym8$PUNLESS

$list9

public static final SubLList $list9

$kw10$TRUE

public static final SubLSymbol $kw10$TRUE

$sym11$SENSE_P

public static final SubLSymbol $sym11$SENSE_P

$kw12$NEG

public static final SubLSymbol $kw12$NEG

$list13

public static final SubLList $list13

$sym14$CYC_VAR_

public static final SubLSymbol $sym14$CYC_VAR_

$kw15$POS

public static final SubLSymbol $kw15$POS

$list16

public static final SubLList $list16

$sym17$NEGATE_CLAUSE

public static final SubLSymbol $sym17$NEGATE_CLAUSE

$sym18$NEGATE_ATOMIC

public static final SubLSymbol $sym18$NEGATE_ATOMIC

$list19

public static final SubLList $list19

$const20$ist

public static final SubLObject $const20$ist

$sym21$CONTEXTUALIZED_LITERAL_TO_IST_SENTENCE

public static final SubLSymbol $sym21$CONTEXTUALIZED_LITERAL_TO_IST_SENTENCE

$sym22$NEGATE

public static final SubLSymbol $sym22$NEGATE

$const23$and

public static final SubLObject $const23$and

$sym24$LISTP

public static final SubLSymbol $sym24$LISTP

$const25$or

public static final SubLObject $const25$or

$sym26$CONTEXTUALIZED_DNF_FORMULA

public static final SubLSymbol $sym26$CONTEXTUALIZED_DNF_FORMULA

$sym27$CONTEXTUALIZED_ASENT_ASENT

public static final SubLSymbol $sym27$CONTEXTUALIZED_ASENT_ASENT

$sym28$DECONTEXTUALIZE_CONTEXTUALIZED_CLAUSE

public static final SubLSymbol $sym28$DECONTEXTUALIZE_CONTEXTUALIZED_CLAUSE

$sym29$NON_DOTTED_LIST_P

public static final SubLSymbol $sym29$NON_DOTTED_LIST_P

$sym30$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym30$NON_NEGATIVE_INTEGER_P

$sym31$_

public static final SubLSymbol $sym31$_

$list32

public static final SubLList $list32

$sym33$_

public static final SubLSymbol $sym33$_

Method Detail

nmake_clause

public static final SubLObject nmake_clause(SubLObject neg_lits,
                                            SubLObject pos_lits,
                                            SubLObject clause)

Destructively modify CLAUSE to have NEG-LITS and POS-LITS.

make_gaf_cnf

public static final SubLObject make_gaf_cnf(SubLObject asent)

Returns:

cnf-p ; A new cnf constructed from the true gaf ASENT.

nmake_dnf

public static final SubLObject nmake_dnf(SubLObject neg_lits,
                                         SubLObject pos_lits,
                                         SubLObject dnf)

Destructively modify DNF to have NEG-LITS and POS-LITS, and return DNF itself.

clause_with_lit_counts_p

public static final SubLObject clause_with_lit_counts_p(SubLObject clause,
                                                        SubLObject neg_lit_count,
                                                        SubLObject pos_lit_count)

Returns:

booleanp; t iff CLAUSE is a clause with exactly NEG-LIT-COUNT neglits and exactly POS-LIT-COUNT poslits.

pos_atomic_cnf_p

public static final SubLObject pos_atomic_cnf_p(SubLObject cnf)

Returns:

boolean; t iff CNF is a cnf representation of an atomic formula with exactly one poslit and no neglits. This is much quicker to check than @xref gaf-cnf?

pos_atomic_clause_p

public static final SubLObject pos_atomic_clause_p(SubLObject clause)

Returns:

boolean; t iff CLAUSE is a clause representation of an atomic formula with exactly one poslit and no neglits.

neg_atomic_clause_p

public static final SubLObject neg_atomic_clause_p(SubLObject clause)

Returns:

boolean; t iff CLAUSE is a clause representation of an atomic formula with exactly one neglit and no poslits.

atomic_clause_with_all_var_argsP

public static final SubLObject atomic_clause_with_all_var_argsP(SubLObject clause)

Returns:

booleanp; t iff CLAUSE is an atomic clause, and all of the arguments to its predicate are variables.

gaf_cnf_literal

public static final SubLObject gaf_cnf_literal(SubLObject cnf)

atomic_cnf_asent

public static final SubLObject atomic_cnf_asent(SubLObject atomic_clause)

returns the single pos-lit if it's a positive gaf cnf, or the single neg-lit if it's a negated gaf cnf.

atomic_clause_asent

public static final SubLObject atomic_clause_asent(SubLObject atomic_clause)

returns the single pos-lit if it's a positive gaf clause, or the single neg-lit if it's a negated gaf clause.

atomic_cnf_predicate

public static final SubLObject atomic_cnf_predicate(SubLObject atomic_clause)

atomic_clauses_p

public static final SubLObject atomic_clauses_p(SubLObject object)

Returns:

boolean; t iff OBJECT is a singleton list containing one @xref atomic-clause-p

pos_atomic_clauses_p

public static final SubLObject pos_atomic_clauses_p(SubLObject object)

Returns:

boolean; t iff OBJECT is a singleton list containing one @xref pos-atomic-clause-p

unmake_clause

public static final SubLObject unmake_clause(SubLObject clause)

Returns:

0 list; a list of the negative literals (neg-lits) in CLAUSE.

clause_number_of_literals

public static final SubLObject clause_number_of_literals(SubLObject clause)

Returns:

non-negative-integer-p; the number of literals (both positive and negative) in CLAUSE.

clause_literal_count

public static final SubLObject clause_literal_count(SubLObject clause)

binary_clause_p

public static final SubLObject binary_clause_p(SubLObject clause)

all_literals_as_asents

public static final SubLObject all_literals_as_asents(SubLObject clause)

clause_free_variables

public static final SubLObject clause_free_variables(SubLObject clause,
                                                     SubLObject varP,
                                                     SubLObject include_sequence_varsP)

new_subclause_spec

public static final SubLObject new_subclause_spec(SubLObject negative_indices,
                                                  SubLObject positive_indices)

new_single_literal_subclause_spec

public static final SubLObject new_single_literal_subclause_spec(SubLObject sense,
                                                                 SubLObject index)

ncanonicalize_literal_indices

public static final SubLObject ncanonicalize_literal_indices(SubLObject indices)

canonicalize_literal_indices

public static final SubLObject canonicalize_literal_indices(SubLObject indices)

new_complement_subclause_spec

public static final SubLObject new_complement_subclause_spec(SubLObject subclause_spec,
                                                             SubLObject sample_clause)

subclause_spec_negative_indices

public static final SubLObject subclause_spec_negative_indices(SubLObject subclause_spec)

subclause_spec_positive_indices

public static final SubLObject subclause_spec_positive_indices(SubLObject subclause_spec)

index_and_sense_match_subclause_specP

public static final SubLObject index_and_sense_match_subclause_specP(SubLObject index,
                                                                     SubLObject sense,
                                                                     SubLObject subclause_spec)

subclause_specified_by_spec

public static final SubLObject subclause_specified_by_spec(SubLObject clause,
                                                           SubLObject subclause_spec)

complement_of_subclause_specified_by_spec

public static final SubLObject complement_of_subclause_specified_by_spec(SubLObject clause,
                                                                         SubLObject subclause_spec)

subclause_spec_from_clauses

public static final SubLObject subclause_spec_from_clauses(SubLObject big_clause,
                                                           SubLObject little_clause)

literal_indices_from_literals

public static final SubLObject literal_indices_from_literals(SubLObject big_lits,
                                                             SubLObject little_lits)

subclause_spec_literal_count

public static final SubLObject subclause_spec_literal_count(SubLObject subclause_spec)

single_literal_subclause_specP

public static final SubLObject single_literal_subclause_specP(SubLObject subclause_spec)

Return T iff SUBCLAUSE-SPEC specifies a single literal.

declare_clause_utilities_file

public static final SubLObject declare_clause_utilities_file()

init_clause_utilities_file

public static final SubLObject init_clause_utilities_file()

setup_clause_utilities_file

public static final SubLObject setup_clause_utilities_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.