(facts)  -> retorna total de fatos.

coloca um fato:  (assert (peq fido))

cada coisa que eu fizer, ele vai mostrar o que eu estou fazendo
:(watch all) 

coloca outro fato: (assert (estim fido))


Diz que todo animal pequeno e de estimação é domestico:
(defrule dom
(peq ?x)
(estim ?x)
=>
(assert (domestico ?x)))



Ver rede de padroes:
(view)


hab(itu,x)^presidente(x)
OBS: Colocar os mais especificos na frente!


remove uma regra:
(defrule tira?fact<-(peq fido) => (retract ?fact))


reseta: (reset)

carrega um arquivo no JESS: (batch "file patch")