Returns TRUE if the fact specified by its fact-index or fact-address argument exists, otherwise FALSE.
(fact-existp <fact-address-or-index>)