Fix update/1 to only retract fluents already in the database.
Added new backtracking resolve.
Another attempt at backtracking resolve.