Next:
Example
Up:
Learning Sets of Rules
Previous:
Resolution
First Order Resolution
substitutions
,
unifying substitutions
Patricia Jean Riddle
Wed Jun 23 13:06:34 NZST 1999