Module logic


Classes

Expr
FolKB
KB
PropHornKB
PropKB
logicTest

Functions

NaryExpr
WalkSAT
conjuncts
d
diff
disjuncts
distribute_and_over_or
dpll
dpll_satisfiable
eliminate_implications
every
expr
extend
find_pure_symbol
find_unit_clause
fol_bc_ask
fol_fc_ask
is_definite_clause
is_literal
is_negative
is_positive
is_prop_symbol
is_symbol
is_var_symbol
is_variable
isnumber
issequence
literal_symbol
literals
move_not_inwards
num_or_str
occur_check
pl_fc_entails
pl_resolution
pl_resolve
pl_true
pp
ppdict
ppset
ppsubst
pretty
pretty_dict
pretty_set
prop_symbols
simp
standardize_apart
subst
subst_compose
test_ask
to_cnf
tt_check_all
tt_entails
tt_true
unify
unify_var
update_position
variables

Variables

A
B
C
F
FALSE
G
ONE
P
Q
TRUE
TWO
ZERO
_NaryExprTable
__package__
test_kb
x
y
z

[hide private]