com.cyc.cycjava.cycl
Class clauses

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class clauses
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const45$and
static SubLObject	$const46$or
static SubLObject	$const47$implies
static SubLObject	$const48$not
static SubLSymbol	$kw18$NEG
static SubLSymbol	$kw19$POS
static SubLSymbol	$kw43$TRUE
static SubLSymbol	$kw49$FALSE
static SubLList	$list1
static SubLList	$list11
static SubLList	$list13
static SubLList	$list14
static SubLList	$list25
static SubLList	$list3
static SubLList	$list33
static SubLList	$list35
static SubLList	$list41
static SubLList	$list51
static SubLList	$list53
static SubLList	$list54
static SubLList	$list56
static SubLList	$list58
static SubLList	$list6
static SubLList	$list61
static SubLList	$list64
static SubLList	$list66
static SubLList	$list8
static SubLList	$list9
static SubLString	$str12$Return_the_neg_lits_of_CLAUSE_
static SubLString	$str16$Return_the_pos_lits_of_CLAUSE_
static SubLString	$str2$Returns_T_iff_OBJECT_is_either_a_
static SubLString	$str21$Return_T_iff_CLAUSE_is_a_ground_c
static SubLString	$str23$Return_T_iff_CLAUSE_is_an_atomic_
static SubLString	$str26$Return_T_iff_CLAUSE1_and_CLAUSE2_
static SubLString	$str28$Return_the_empty_clause_
static SubLString	$str30$Return_T_iff_CLAUSE_is_empty_
static SubLString	$str34$Return_literal_in_CLAUSE_specifie
static SubLString	$str37$Return_a_new_clause_which_is_CLAU
static SubLString	$str39$Returns_T_iff_OBJECT_is_a_canonic
static SubLString	$str42$Return_T_iff_CNF_is_a_cnf_represe
static SubLString	$str52$Return_a_readable_formula_of_CNF_
static SubLString	$str57$Return_a_readable_formula_from_a_
static SubLString	$str62$Return_a_readable_formula_of_DNF_
static SubLString	$str65$Return_a_readable_formula_from_a_
static SubLString	$str7$Construct_a_clause_from_NEG_LITS_
static SubLSymbol	$sym0$CLAUSE_P
static SubLSymbol	$sym10$NEG_LITS
static SubLSymbol	$sym15$POS_LITS
static SubLSymbol	$sym17$SENSE_P
static SubLSymbol	$sym20$GROUND_CLAUSE_P
static SubLSymbol	$sym22$ATOMIC_CLAUSE_P
static SubLSymbol	$sym24$CLAUSE_EQUAL
static SubLSymbol	$sym27$EMPTY_CLAUSE
static SubLSymbol	$sym29$EMPTY_CLAUSE_
static SubLSymbol	$sym31$INTEGERP
static SubLSymbol	$sym32$CLAUSE_LITERAL
static SubLSymbol	$sym36$CLAUSE_WITHOUT_LITERAL
static SubLSymbol	$sym38$CNF_P
static SubLSymbol	$sym4$LISTP
static SubLSymbol	$sym40$GAF_CNF_
static SubLSymbol	$sym44$TRUTH_P
static SubLSymbol	$sym5$MAKE_CLAUSE
static SubLSymbol	$sym50$CNF_FORMULA
static SubLSymbol	$sym55$CNF_FORMULA_FROM_CLAUSES
static SubLSymbol	$sym59$NEGATE
static SubLSymbol	$sym60$DNF_FORMULA
static SubLSymbol	$sym63$DNF_FORMULA_FROM_CLAUSES
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	atomic_clause_p(SubLObject clause) Return T iff CLAUSE is an atomic clause.
static SubLObject	clause_equal(SubLObject clause1, SubLObject clause2) Return T iff CLAUSE1 and CLAUSE2 are both equivalent clauses.
static SubLObject	clause_p(SubLObject object) Returns T iff OBJECT is either a CNF or DNF clause.
static SubLObject	clause_sense_lits(SubLObject clause, SubLObject sense) Return the SENSE literal list of CLAUSE.
static SubLObject	cnf_formula(SubLObject cnf, SubLObject truth) Return a readable formula of CNF TRUTH only gets looked at for ground, single pos lit cnfs in which case TRUTH gives the truth of the gaf.
static SubLObject	cnf_p(SubLObject object) Returns T iff OBJECT is a canonicalized CycL formula in conjunctive normal form.
static SubLObject	declare_clauses_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	dnf_clauses_p(SubLObject object)
static SubLObject	dnf_formula(SubLObject dnf) Return a readable formula of DNF.
static SubLObject	dnf_p(SubLObject object) Returns T iff OBJECT is a canonicalized CycL formula in disjunctive normal form.
static SubLObject	empty_clause() Return the empty clause.
static SubLObject	empty_clauseP(SubLObject clause) Return T iff CLAUSE is empty.
static SubLObject	gaf_cnfP(SubLObject cnf) Return T iff CNF is a cnf representation of a gaf formula.
static SubLObject	ground_clause_p(SubLObject clause) Return T iff CLAUSE is a ground clause.
static SubLObject	init_clauses_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	make_clause(SubLObject neg_lits, SubLObject pos_lits) Construct a clause from NEG-LITS and POS-LITS, each of which are lists of literals.
static SubLObject	make_cnf(SubLObject neg_lits, SubLObject pos_lits) Construct a cnf clause from NEG-LITS and POS-LITS, each of which are lists of literals.
static SubLObject	make_dnf(SubLObject neg_lits, SubLObject pos_lits) Construct a dnf clause from NEG-LITS and POS-LITS, each of which are lists of literals.
static SubLObject	make_xnf(SubLObject neg_lits, SubLObject pos_lits) Construct an xnf (either cnf or dnf) clause from NEG-LITS and POS-LITS, each of which are lists of literals.
static SubLObject	neg_lits(SubLObject clause) Return the neg-lits of CLAUSE.
static SubLObject	pos_lits(SubLObject clause) Return the pos-lits of CLAUSE.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	set_clause_pos_lits(SubLObject clause, SubLObject pos_lits) Destructively modify the pos-lits of CLAUSE to be POS-LITS.
static SubLObject	setup_clauses_file()

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

$sym0$CLAUSE_P

public static final SubLSymbol $sym0$CLAUSE_P

$list1

public static final SubLList $list1

$str2$Returns_T_iff_OBJECT_is_either_a_

public static final SubLString $str2$Returns_T_iff_OBJECT_is_either_a_

$list3

public static final SubLList $list3

$sym4$LISTP

public static final SubLSymbol $sym4$LISTP

$sym5$MAKE_CLAUSE

public static final SubLSymbol $sym5$MAKE_CLAUSE

$list6

public static final SubLList $list6

$str7$Construct_a_clause_from_NEG_LITS_

public static final SubLString $str7$Construct_a_clause_from_NEG_LITS_

$list8

public static final SubLList $list8

$list9

public static final SubLList $list9

$sym10$NEG_LITS

public static final SubLSymbol $sym10$NEG_LITS

$list11

public static final SubLList $list11

$str12$Return_the_neg_lits_of_CLAUSE_

public static final SubLString $str12$Return_the_neg_lits_of_CLAUSE_

$list13

public static final SubLList $list13

$list14

public static final SubLList $list14

$sym15$POS_LITS

public static final SubLSymbol $sym15$POS_LITS

$str16$Return_the_pos_lits_of_CLAUSE_

public static final SubLString $str16$Return_the_pos_lits_of_CLAUSE_

$sym17$SENSE_P

public static final SubLSymbol $sym17$SENSE_P

$kw18$NEG

public static final SubLSymbol $kw18$NEG

$kw19$POS

public static final SubLSymbol $kw19$POS

$sym20$GROUND_CLAUSE_P

public static final SubLSymbol $sym20$GROUND_CLAUSE_P

$str21$Return_T_iff_CLAUSE_is_a_ground_c

public static final SubLString $str21$Return_T_iff_CLAUSE_is_a_ground_c

$sym22$ATOMIC_CLAUSE_P

public static final SubLSymbol $sym22$ATOMIC_CLAUSE_P

$str23$Return_T_iff_CLAUSE_is_an_atomic_

public static final SubLString $str23$Return_T_iff_CLAUSE_is_an_atomic_

$sym24$CLAUSE_EQUAL

public static final SubLSymbol $sym24$CLAUSE_EQUAL

$list25

public static final SubLList $list25

$str26$Return_T_iff_CLAUSE1_and_CLAUSE2_

public static final SubLString $str26$Return_T_iff_CLAUSE1_and_CLAUSE2_

$sym27$EMPTY_CLAUSE

public static final SubLSymbol $sym27$EMPTY_CLAUSE

$str28$Return_the_empty_clause_

public static final SubLString $str28$Return_the_empty_clause_

$sym29$EMPTY_CLAUSE_

public static final SubLSymbol $sym29$EMPTY_CLAUSE_

$str30$Return_T_iff_CLAUSE_is_empty_

public static final SubLString $str30$Return_T_iff_CLAUSE_is_empty_

$sym31$INTEGERP

public static final SubLSymbol $sym31$INTEGERP

$sym32$CLAUSE_LITERAL

public static final SubLSymbol $sym32$CLAUSE_LITERAL

$list33

public static final SubLList $list33

$str34$Return_literal_in_CLAUSE_specifie

public static final SubLString $str34$Return_literal_in_CLAUSE_specifie

$list35

public static final SubLList $list35

$sym36$CLAUSE_WITHOUT_LITERAL

public static final SubLSymbol $sym36$CLAUSE_WITHOUT_LITERAL

$str37$Return_a_new_clause_which_is_CLAU

public static final SubLString $str37$Return_a_new_clause_which_is_CLAU

$sym38$CNF_P

public static final SubLSymbol $sym38$CNF_P

$str39$Returns_T_iff_OBJECT_is_a_canonic

public static final SubLString $str39$Returns_T_iff_OBJECT_is_a_canonic

$sym40$GAF_CNF_

public static final SubLSymbol $sym40$GAF_CNF_

$list41

public static final SubLList $list41

$str42$Return_T_iff_CNF_is_a_cnf_represe

public static final SubLString $str42$Return_T_iff_CNF_is_a_cnf_represe

$kw43$TRUE

public static final SubLSymbol $kw43$TRUE

$sym44$TRUTH_P

public static final SubLSymbol $sym44$TRUTH_P

$const45$and

public static final SubLObject $const45$and

$const46$or

public static final SubLObject $const46$or

$const47$implies

public static final SubLObject $const47$implies

$const48$not

public static final SubLObject $const48$not

$kw49$FALSE

public static final SubLSymbol $kw49$FALSE

$sym50$CNF_FORMULA

public static final SubLSymbol $sym50$CNF_FORMULA

$list51

public static final SubLList $list51

$str52$Return_a_readable_formula_of_CNF_

public static final SubLString $str52$Return_a_readable_formula_of_CNF_

$list53

public static final SubLList $list53

$list54

public static final SubLList $list54

$sym55$CNF_FORMULA_FROM_CLAUSES

public static final SubLSymbol $sym55$CNF_FORMULA_FROM_CLAUSES

$list56

public static final SubLList $list56

$str57$Return_a_readable_formula_from_a_

public static final SubLString $str57$Return_a_readable_formula_from_a_

$list58

public static final SubLList $list58

$sym59$NEGATE

public static final SubLSymbol $sym59$NEGATE

$sym60$DNF_FORMULA

public static final SubLSymbol $sym60$DNF_FORMULA

$list61

public static final SubLList $list61

$str62$Return_a_readable_formula_of_DNF_

public static final SubLString $str62$Return_a_readable_formula_of_DNF_

$sym63$DNF_FORMULA_FROM_CLAUSES

public static final SubLSymbol $sym63$DNF_FORMULA_FROM_CLAUSES

$list64

public static final SubLList $list64

$str65$Return_a_readable_formula_from_a_

public static final SubLString $str65$Return_a_readable_formula_from_a_

$list66

public static final SubLList $list66

Method Detail

clause_p

public static final SubLObject clause_p(SubLObject object)

Returns T iff OBJECT is either a CNF or DNF clause.

make_clause

public static final SubLObject make_clause(SubLObject neg_lits,
                                           SubLObject pos_lits)

Construct a clause from NEG-LITS and POS-LITS, each of which are lists of literals.

neg_lits

public static final SubLObject neg_lits(SubLObject clause)

Return the neg-lits of CLAUSE.

pos_lits

public static final SubLObject pos_lits(SubLObject clause)

Return the pos-lits of CLAUSE.

set_clause_pos_lits

public static final SubLObject set_clause_pos_lits(SubLObject clause,
                                                   SubLObject pos_lits)

Destructively modify the pos-lits of CLAUSE to be POS-LITS.

clause_sense_lits

public static final SubLObject clause_sense_lits(SubLObject clause,
                                                 SubLObject sense)

Return the SENSE literal list of CLAUSE.

ground_clause_p

public static final SubLObject ground_clause_p(SubLObject clause)

Return T iff CLAUSE is a ground clause.

atomic_clause_p

public static final SubLObject atomic_clause_p(SubLObject clause)

Return T iff CLAUSE is an atomic clause.

clause_equal

public static final SubLObject clause_equal(SubLObject clause1,
                                            SubLObject clause2)

Return T iff CLAUSE1 and CLAUSE2 are both equivalent clauses.

empty_clause

public static final SubLObject empty_clause()

Return the empty clause.

empty_clauseP

public static final SubLObject empty_clauseP(SubLObject clause)

Return T iff CLAUSE is empty.

make_xnf

public static final SubLObject make_xnf(SubLObject neg_lits,
                                        SubLObject pos_lits)

Construct an xnf (either cnf or dnf) clause from NEG-LITS and POS-LITS, each of which are lists of literals.

cnf_p

public static final SubLObject cnf_p(SubLObject object)

Returns T iff OBJECT is a canonicalized CycL formula in conjunctive normal form.

dnf_p

public static final SubLObject dnf_p(SubLObject object)

Returns T iff OBJECT is a canonicalized CycL formula in disjunctive normal form.

gaf_cnfP

public static final SubLObject gaf_cnfP(SubLObject cnf)

Return T iff CNF is a cnf representation of a gaf formula.

dnf_clauses_p

public static final SubLObject dnf_clauses_p(SubLObject object)

Returns:

boolean; t iff OBJECT is a non-empty list of DNF clauses.

make_cnf

public static final SubLObject make_cnf(SubLObject neg_lits,
                                        SubLObject pos_lits)

Construct a cnf clause from NEG-LITS and POS-LITS, each of which are lists of literals.

cnf_formula

public static final SubLObject cnf_formula(SubLObject cnf,
                                           SubLObject truth)

Return a readable formula of CNF TRUTH only gets looked at for ground, single pos lit cnfs in which case TRUTH gives the truth of the gaf.

make_dnf

public static final SubLObject make_dnf(SubLObject neg_lits,
                                        SubLObject pos_lits)

Construct a dnf clause from NEG-LITS and POS-LITS, each of which are lists of literals.

dnf_formula

public static final SubLObject dnf_formula(SubLObject dnf)

Return a readable formula of DNF.

declare_clauses_file

public static final SubLObject declare_clauses_file()

init_clauses_file

public static final SubLObject init_clauses_file()

setup_clauses_file

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