%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% NOTES ON EX. 6-10
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%% EX 6
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
- frontier is a QUEUE, not a stack!!!!
- reached should be initialized to empty
- node should be added to reached when current node, not as a child
- path-cost????
Confused mixture of varionus search strategies

%%% EX 7
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
no: this is NOT the polynomial procedure for Horn Formulas!!!
unit-propagate
if unsat then return unast
else assign all variables a NEGATIVE value
return sat
0      
%%% EX 8
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
a) ok
b) no, see solution
c) no solution
d) x/g(z),x/f(z) is NOT a unifier

%%% EX 9
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ok

%%% EX 10
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
- missiong normalization
- some mistakes