added modify-fact function to documentation