1) app_utils.P:
modify processBodyLatest/5 to deal with 'prolog' goals (now use quintuple like other goals, rahter than anonymous var).

2) preprocess.P:
modify loadBody/2 to deal with 'prolog' goals (now preprocessed 'prolog' goals are triple) so that they can be handled uniformly in dualizing as with other (non-prolog) goals.

3) qualm.P:
- new definition of verify_lits/2: using latest_time/2 instead of gt/2 when T is a variable (makes more sense, but ... may still be buggy).
- add a clause for not_overridden/6 to deal with 'prolog' goals (to avoid error in computing atom_compl/2 as done in the other not_overridden/6 clause.

The modification above seems to be buggy, for the following run of examples/th1.ab (will probably be fixed in the next commit, but commit this version for now to move forward ...)

| ?- updates([not '#(r)'(false,'[save_from(t),sidetrack(loop),person(_h0),hit(t,_h0)]'),not foggy,not mini(t)]).
Pending update: not #(r)(false,[save_from(t),sidetrack(loop),person(_h0),hit(t,_h0)]), at current time 2
Pending update: not foggy, at current time 2
Pending update: not mini(t), at current time 2

yes
| ?- query(save_from(t),O).

O = [divert(1,t)] * [] undefined;

no